Search Results for author:
Found 2 papers, 1 papers with code
Markovian Agents for Informative Language Modeling
We derive a "Markovian training" procedure by applying our definition of informativeness to a Markovian LM and optimizing via policy gradient and Proximal Policy Optimization (PPO).
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.
