ICFP
No high-quality results found.
Less-relevant results
The notational conventions I adopted, and why (EWD 1300)
λFunctional Programming Content type: AcademicDiscovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
💻CS Content type: AcademicLean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
🧮Lean4 Content type: AcademicIncremental Computation for Efficient Programmable Inference in Probabilistic Programs
💻CS Content type: AcademicNo more posts from tiferrei's subscribed feeds.