ENTITY
CombiBench
CombiBench
PulseAugur coverage of CombiBench — every cluster mentioning CombiBench across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
FormalEvolve enhances autoformalization with neuro-symbolic search
Researchers have developed FormalEvolve, a novel neuro-symbolic evolutionary search method for autoformalization. This approach tackles the challenge of translating informal mathematics into formal statements by recasti…
-
LLMs and Wilf-Zeilberger method combine for automated combinatorial proofs
Researchers have developed WZ-LLM, a novel neuro-symbolic framework that combines the Wilf-Zeilberger (WZ) method with large language models (LLMs) to automate formal proofs of combinatorial identities. This approach tr…