Search Results for author:
Found 2 papers, 1 papers with code
Markovian Agents for Truthful Language Modeling
We formalize the idea that the truthfulness of a sender to a receiver LM is the degree to which the sender helps the receiver predict their future observations.
Epistemic Phase Transitions in Mathematical Proofs
Mathematical proofs are both paradigms of certainty and some of the most explicitly-justified arguments that we have in the cultural record.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
