Slim205/Lean_prover_v1
7B
•
Updated
•
12
Slim Barkallah
Slim205
AI & ML interests
Large Language Models, Natural Language Processing
Recent Activity
upvoted
a
paper
2 days ago
Does It Tie Out? Towards Autonomous Legal Agents in Venture Capital
liked
a dataset
8 days ago
AI-MO/minif2f_test
upvoted
an
article
about 2 months ago
OpenEvolve: An Open Source Implementation of Google DeepMind's AlphaEvolve
Organizations
None yet