Research notes

Research notes and articles

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

Wanna contribute

Posts are data. Add an .mdx file under data/posts/ and open a pull request on Unsuspicious-Industries/usi.