SGP-Generation Collection Symbolic Graphic Programming with Large Language Model • 5 items • Updated Sep 11 • 3
Reparameterized LLM Training via Orthogonal Equivalence Transformation Paper • 2506.08001 • Published Jun 9 • 6
Reparameterized LLM Training via Orthogonal Equivalence Transformation Paper • 2506.08001 • Published Jun 9 • 6 • 2
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models Paper • 2505.02735 • Published May 5 • 33