formalized-agent-foundations
formalized-agent-foundations is Orchestrated autoformalizations of important papers in agent foundations and theoretical alignment - A-M-Berns/Formalized-Agent-Foundations. It is ranked #8440 on the AI Radar, in AI research, first seen 61 days ago and shared in 1 post (10.7k views).
GitHub - A-M-Berns/Formalized-Agent-Foundations: Orchestrated autoformalizations of important papers in agent foundations and theoretical alignment · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} A-M-Berns / Formalized-Agent-Foundations Public Notifications You must be signed in to change notification settings Fork 1 Star 7…
Alternatives to formalized-agent-foundations
- academy.dair.ai — Chat with Paper
- alphaXiv — Now on @askalphaxiv
- flashprove — Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that…
- moe-blogpost — A hands-on guide to training Mixture-of-Experts models
- liberai.com — Technical blog
- Science's Last Exam — Can AI do research, end to end? Science's Last Exam defines and measures whether an AI agent can carry a research goal…
formalized-agent-foundations in numbers
- Rank on the AI Radar: #8440 of 10402
- Shared in 1 post by 1 account: @jessi_cata
- 10.7k views on those posts
- First seen 61 days ago, last shared 61 days ago
- Pricing seen by AGK Intelligence: open source
- Market: AI research
FAQ
What is formalized-agent-foundations?
Orchestrated autoformalizations of important papers in agent foundations and theoretical alignment - A-M-Berns/Formalized-Agent-Foundations It was first shared on X 61 days ago and is ranked #8440 on the AI Radar.
Is formalized-agent-foundations free?
It is open source.
Who shared formalized-agent-foundations?
1 account on X, including @jessi_cata, in 1 post totalling 10.7k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.6k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 15:10 UTC. Full method.