https://news.lavx.hu/article/alethfeld-open-source-adversarial-agents-challenge-proprietary-theorem-provers
Alethfeld: Open-Source Adversarial Agents Challenge Proprietary Theorem Provers | LavX News | LavX...
Jan 2, 2026 - Physicist Tobias Osborne unveils Alethfeld, an adversarial LLM framework that verifies mathematical proofs using Claude Opus and Lean. This open-source...
open sourceadversarial agentschallengeproprietarytheorem
https://papers.neurips.cc/paper_files/paper/2022/hash/48adb34f7ee39177c4c23a8e4253a492-Abstract-Conference.html
Are AlphaZero-like Agents Robust to Adversarial Perturbations?
alphazerolikeagentsrobustadversarial