proomt

Search

Search posts, papers, and topics

theory

RSS
  1. 1

    Generalized Agent Iteration: One Formal Framework for Iterative Policy Improvement and Recursive Self-Improvement

    The paper introduces Generalized Agent Iteration (GAI), a formal framework that unifies classical iterative policy improvement (GPI) and recursive self‑improvement (RSI). GAI treats an agent as a set of modifiable components and models learning as a loop of evaluation and improvement. Two binary “dials”—whether the improvement mechanism is internal to the agent and whether the evaluation standard…

    Hugging Face Daily Papersarxiv.org1 minpaper
  2. 2

    Relation algebra is not relational algebra

    The post clarifies the long‑standing confusion between *relation algebra* (a mathematical logic framework equivalent to FOL³) and *relational algebra* (Codd’s query language foundation). It outlines their histories, theoretical differences, and recent CS applications such as Alloy and the Prela query language, urging the community to adopt the term “Tarski’s Algebra of Relations” (TAR) to avoid m…

    Lobstersremy.wang2 minlobste.rs8
  3. 3

    A theoretical separation between quantum computers & LLMs

    The IBM research blog explains two new theoretical results that prove shallow constant‑depth quantum circuits can outperform decoder‑only transformers on a functional task (iterated index) and diffusion language models on a sampling task (parity‑sampling). The proofs give asymptotic separations but are not yet practical.

    IBM Researchibm.com6 min