0
2 commits
1 linked in READMEs
updated Jun 18, 2026
AlexVav01/autoformalization-bench
AlexVav01/FormalMath-formalization
Slim205/Lean_conjecturer_data_v01
lapp0/query_expansion
lapp0/hotpot_query_expansion_synthetic_cleaned
NousResearch/json-mode-eval
43
lapp0/hotpot_query_expansion_synthetic
OpenMLRL/CoopHumanEval
1
VavAlex1/llm-autoformalization
