Induction and Inquiry via Probabilistic Reasoning over Language and Code
Researchers introduced a computational model that encodes symbolic knowledge as mental programs combining natural language and source code, using LLM-guided Bayesian learning to reproduce human induct…