objecti0n

Pinned Repositories

compfiles
Catalog Of Math Problems Formalized In Lean
Language:Lean0 0 00
InternLM
Official release of InternLM2 7B and 20B base and chat models. 200K context support
Language:Python0 0 00
InternLM-Math
Language:Python1 0 00
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Language:C++0 0 00
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python0 0 00
pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Language:Lean0 0 00

objecti0n's Repositories

objecti0n/InternLM-Math
Language:Python1 0 00
objecti0n/compfiles
Catalog Of Math Problems Formalized In Lean
Language:Lean0 0 00
objecti0n/InternLM
Official release of InternLM2 7B and 20B base and chat models. 200K context support
Language:Python0 0 00
objecti0n/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Language:C++0 0 00
objecti0n/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python0 0 00
objecti0n/pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Language:Lean0 0 00