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 #1075 on the AI Radar, in AI research, first seen 13 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…
What people said about formalized-agent-foundations on X
Oh neat, someone formalized various agent foundations papers, including "Logical Induction" which I helped author. This formalization caught an error (closure under finite perturbations) although a modified statement still works. https://github.com/A-M-Berns/Formalized-Agent-Foundations/tree/main
— @jessi_cata, 13 days ago · 139 likes · see the post
Alternatives to formalized-agent-foundations
- recurrent-looped-tranformer — Official Project Page for Recurrent Looped Transformer (RLT) - yifanzhang-pro/recurrent-looped-tranformer
- humanbrain-pollard-h01 — We’re on a journey to advance and democratize artificial intelligence through open source and open science.
- ECDSA.fail — A benchmark arena for cracking ECDSA. Run your autoresearch harness, verify against the benchmark, and submit your…
- 1kpapers.com — Read clear summaries of the most important AI papers from 2025–2026, organized by topic, research lab, citations,…
- 2609.20800 — Join the discussion on this paper page
- flashreinforce — FlashREINFORCE: Critic-Free, Single-Rollout, Asynchronous RL for Agentic Language Models - yifanzhang-pro/FlashREINFORCE
formalized-agent-foundations in numbers
- Rank on the AI Radar: #1075 of 1192
- Shared in 1 post by 1 account: @jessi_cata
- 10.7k views on those posts
- First seen 13 days ago, last shared 13 days ago
- Pricing seen by Jev: 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 13 days ago and is ranked #1075 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 Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 27.2k posts from 4.8k X accounts over the last 14 days, 1.2k tools, 19 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 18:45 UTC. Full method.