milner

milner pushed to main at milner/lambda-sub

2026-10-02 21:55:04 +00:00

4799079d0c add(named): the paper measure with machine checked counterexamples to its invariants (M5 metatheory)

be85c51957 add(named): an Es setoid rewriting layer with the modulo reduction (M5 metatheory)

7ea55461ef add(named): free variable invariance of the C equivalence (M5 metatheory)

841e59d481 fix(named): free variable preservation for the full metaterm reduction including RX (M5 metatheory)

14d299fb22 add(named): free variable preservation for the named metaterm reduction (M5 metatheory)

Compare 10 commits »

milner created branch main in milner/lambda-sub

2026-10-02 21:55:04 +00:00

milner pushed to main at milner/scfg-induction

2026-10-02 21:55:03 +00:00

a249b69c3c Update the paper link to cpl0.zip

086495847a fix(eval): count unparseable heldout mass in cross entropy

46982a23d9 fix(scoring): distinguish approximate evidence from exact marginal likelihood

6b249b14fc fix(parse): move inside outside inference into log space

6023c46560 fix(grammar): make structural canonicalisation order independent

milner created branch main in milner/scfg-induction

2026-10-02 21:55:03 +00:00

milner created repository milner/lambda-sub

2026-10-02 21:54:37 +00:00

milner created repository milner/scfg-induction

2026-10-02 21:54:37 +00:00