AI Research Papers — Page 22

Archive, newest first. Filter by topic, impact and company →

Notableresearch

Demystifying Variance in Circuit Discovery of LLMs

Problem This paper addresses the significant variability in circuit discovery methods used for mechanistic interpretability of large language models (LLMs), specifically focusing on the state-of-the-art method EAP-IG. The authors identify…

arXivcodeFrank Zhengqing Wu +2
Notableresearch

Symbolic Informalization: Fluent, Productive, Multilingual

Problem This work addresses the gap in converting formal mathematical proofs into human-readable text without sacrificing precision. Traditional proof systems have limited capabilities in this regard, often relying on syntactic…

arXivcodeAarne Ranta