https://cluster-site.onrender.com/tags/firstorderlogic/ Recent content in Firstorderlogic on Tenu Tech Brief Hugo -- 0.146.0 en-us Tue, 24 Feb 2026 06:06:00 +0000 https://cluster-site.onrender.com/posts/induction-finite-structure-concept-synthesis-in-first-order-logic/ Tue, 24 Feb 2026 05:00:00 +0000 https://cluster-site.onrender.com/posts/induction-finite-structure-concept-synthesis-in-first-order-logic/ • INDUCTION benchmark tests finite-structure concept synthesis in first‑order logic across small relational worlds. • Models output a single logical formula that uniformly explains