Imagen de Portada

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Flach, João, Moreira, Alvaro F., Lamb, Luis C.
Formato:	Preprint
Publicado:	2023
Materias:	Machine Learning Artificial Intelligence Computation and Language Logic in Computer Science I.2; I.2.6; F.1; F.1.1; D.1.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the Compatibility of Generative AI and Generative Linguistics
por: Portelance, Eva, et al.
Publicado: (2024)

Emergence of Quantised Representations Isolated to Anisotropic Functions
por: Bird, George
Publicado: (2025)

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
por: Kobaladze, Zurabi, et al.
Publicado: (2025)

Neural networks as fuzzy logic formulas
por: Heiman, Damian, et al.
Publicado: (2026)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
por: Grabmayer, Clemens
Publicado: (2024)

Summa Summarum: Moessner's Theorem without Dynamic Programming
por: Danvy, Olivier
Publicado: (2024)

Leibniz's Monadology as Foundation for the Artificial Age Score: A Formal Architecture for Al Memory Evaluation
por: Kayadibi, Seyma Yaman
Publicado: (2025)

The Affine Divergence: Aligning Activation Updates Beyond Normalisation
por: Bird, George
Publicado: (2025)

Multidimensional Adaptive Coefficient for Inference Trajectory Optimization in Flow and Diffusion
por: Lee, Dohoon, et al.
Publicado: (2024)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
por: Ahvonen, Veeti, et al.
Publicado: (2024)

Linear-Readout Floors and Threshold Recovery in Computation in Superposition
por: Borobia, Hector, et al.
Publicado: (2026)

Expressive Power of Graph Transformers via Logic
por: Ahvonen, Veeti, et al.
Publicado: (2025)

Graph neural networks and MSO
por: Ahvonen, Veeti, et al.
Publicado: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
por: Ahvonen, Veeti, et al.
Publicado: (2026)

Taming Differentiable Logics with Coq Formalisation
por: Affeldt, Reynald, et al.
Publicado: (2024)

Consensus and Synchronization of Multi-agent Systems over Finite Fields -- Graph Topologies
por: Hengster-Movrić, Kristian, et al.
Publicado: (2026)

Prompting Neural-Guided Equation Discovery Based on Residuals
por: Brugger, Jannis, et al.
Publicado: (2025)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
por: Li, Hongbo, et al.
Publicado: (2025)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
por: Sundaram, Aarthi, et al.
Publicado: (2021)

Does Editing Provide Evidence for Localization?
por: Wang, Zihao, et al.
Publicado: (2025)

Tricks and Plug-ins for Gradient Boosting with Transformers
por: Fang, Biyi, et al.
Publicado: (2025)

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
por: Soeteman, Arie, et al.
Publicado: (2026)

Test Case Features as Hyper-heuristics for Inductive Programming
por: McDaid, Edward, et al.
Publicado: (2024)

A foundational characterization of Hoare Logic
por: Leivant, Daniel
Publicado: (2026)

Understanding LLM Failures: A Multi-Tape Turing Machine Analysis of Systematic Errors in Language Model Reasoning
por: Boman, Magnus
Publicado: (2026)

The Relational Machine Calculus
por: Barrett, Chris, et al.
Publicado: (2024)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
por: McDaid, Edward, et al.
Publicado: (2025)

Neural-Guided Equation Discovery
por: Brugger, Jannis, et al.
Publicado: (2025)

Logic interpretations of ANN partition cells
por: Schmitt, Ingo
Publicado: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
por: Cate, Balder ten, et al.
Publicado: (2024)

NeurOptimisation: The Spiking Way to Evolve
por: Cruz-Duarte, Jorge Mario, et al.
Publicado: (2025)

The Inclusion Depth of Pattern Languages: An Open Problem in Algorithmic Learning Theory
por: Luo, Wei
Publicado: (2026)

Hybrid Quantum-Classical Mixture of Experts: Unlocking Topological Advantage via Interference-Based Routing
por: Heddad, Reda, et al.
Publicado: (2025)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
por: Jana, Prithwish, et al.
Publicado: (2025)

Imperative process algebra and models of computation
por: Middelburg, C. A.
Publicado: (2022)

Comparing State-Representations for DEL Model Checking
por: Behnke, Gregor, et al.
Publicado: (2025)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
por: Galimullin, Rustam, et al.
Publicado: (2025)

Information-Theoretic Quality Metric of Low-Dimensional Embeddings
por: Gutiérrez-Bernal, Sebastián, et al.
Publicado: (2025)

Bayesian Evolutionary Swarm Architecture: A Formal Epistemic System Grounded in Truth-Based Competition
por: Wright, Craig Steven
Publicado: (2025)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
por: Zhang, Xindi, et al.
Publicado: (2025)