Thoughts

Research Notes & Reflections

Our thoughts on various subjects. Not always an expert's opinion, but always curiosity driven.

2025-10-12 · Paul Kronlund-Drouault

Completeability and Regular Expressions

Interesting challenges regarding two-level languages in Proposition 7

research-notestheorem-provingprogram-synthesisautomata

2025-08-11 · Paul Kronlund-Drouault

Truth by Construction

From Natural Language to Logic Machines Through Formal Constraints.

research-notestheorem-provingprogram-synthesistype-theoryRLconstraints