Principia Mathematics Lab
non-profit
AI & ML interests
LLM, Mathematical Reasoning
models
None public yet
datasets
None public yet
LLM, Mathematical Reasoning