Induction for SMT SolversExplores techniques for induction in SMT solvers, focusing on CVC4's implementation and competitive performance with other provers.
Neural Quantum StatesExplores neural quantum states and their representation using artificial neural networks.
Learning Sciences ConceptsExplores cognitive load, metacognition, learning environments, and inductive reasoning, with examples of exam questions and the city of Godthåb.
Origins of Religious BeliefsDelves into the origins of religious beliefs, exploring psychological, developmental, and neuroscientific perspectives on faith.