ENTITY TNLean

TNLean

PulseAugur coverage of TNLean — every cluster mentioning TNLean across labs, papers, and developer communities, ranked by signal.

Total · 30d

0

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_135327 · Jul 10 · 04:00

AI agents autonomously formalize physics theorems, creating new libraries

Researchers have developed a novel workflow utilizing specialized large language model agents to autonomously formalize complex theories in theoretical physics. This agent-driven approach successfully formalized the fun…