SArehalli/SententialProofs

Stars
1
Language
Haskell
License
MIT License
Created almost 10 years ago
Updated over 8 years ago

SArehalli/SententialProofs

SArehalli

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Haskell implementation of a proof checker for Formal Sentential-Logic Proofs. Inspired by UCSD's PHIL 10 Course.

LiteraryHaiku

What would a Shakespearean Haiku sound like? Technology (kinda) has the answer.

NLMsCaptureSomeAgrAttr

Jupyter Notebook

SyntacticSurprisal

Code for Arehalli, Dillon & Linzen (2022) "Syntactic Surprisal From Neural Models Predicts, But Underestimates, Human Processing Difficulty From Syntactic Ambiguities"