a heterogeneous reflective tower the meta level is an LLM
-
Updated
May 10, 2026 - TypeScript
#
reasonable-reflection
Here are 10 public repositories matching this topic...
a verified reflective tower inspired by Black and CakeML
-
Updated
May 7, 2026 - Lean
LCF checks theorem construction; reviser checks belief revision
-
Updated
May 10, 2026 - Lean
LCF checks theorem construction; climber checks theory construction
-
Updated
May 7, 2026 - Lean
a verified reflective tower inspired by Black
-
Updated
May 9, 2026 - Lean
Climber checks theory construction; defeater checks theory qualification.
-
Updated
May 10, 2026 - Lean
a calculator whose class of admissible total functions grows with proofs
-
Updated
May 11, 2026 - Lean
SC Mini is a "minimal" positive supercompiler (fork with sound LLM rewrites)
-
Updated
May 7, 2026 - Haskell
a verified reflective tower inspired by Black and CakeML, the mix of grey and green
-
Updated
May 13, 2026 - Lean
A Rational Defense of Reasonable Reflection (LICS'26 Keynote)
-
Updated
May 9, 2026
Improve this page
Add a description, image, and links to the reasonable-reflection topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the reasonable-reflection topic, visit your repo's landing page and select "manage topics."