Cover Image

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	de la Torre, Jordi
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
by: Tomkins-Flanagan, Eilene, et al.
Published: (2025)

Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic
by: Hanley, Connor, et al.
Published: (2025)

An LLM-Tool Compiler for Fused Parallel Function Calling
by: Singh, Simranjit, et al.
Published: (2024)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
by: McCann, Alan L.
Published: (2026)

LoopTool: Closing the Data-Training Loop for Robust LLM Tool Calls
by: Zhang, Kangning, et al.
Published: (2025)

Gradual Metaprogramming
by: Chen, Tianyu, et al.
Published: (2025)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
by: Sultan, Oren, et al.
Published: (2026)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
by: Jang, Junyoung, et al.
Published: (2024)

Contextual Metaprogramming for Session Types
by: Ângelo, Pedro, et al.
Published: (2026)

Adapting A Vector-Symbolic Memory for Lisp ACT-R
by: Ray, Meera, et al.
Published: (2025)

Transformadores: Fundamentos teoricos y Aplicaciones
by: de la Torre, Jordi
Published: (2023)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
by: Rossi, Roberto, et al.
Published: (2026)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
by: He, Mengting, et al.
Published: (2026)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
by: Cao, Jialun, et al.
Published: (2025)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
by: Liang, Qingyuan, et al.
Published: (2025)

Prism: Symbolic Superoptimization of Tensor Programs
by: Wu, Mengdi, et al.
Published: (2026)

SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning
by: Wang, Yiting, et al.
Published: (2025)

Optimizing Agentic Language Model Inference via Speculative Tool Calls
by: Nichols, Daniel, et al.
Published: (2025)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
by: Armengol-Estapé, Jordi, et al.
Published: (2023)

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
by: Zhu, Yifan, et al.
Published: (2026)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
by: Bayazıt, Barış, et al.
Published: (2025)

Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
by: Bembenek, Aaron
Published: (2025)

Ranking LLM-Generated Loop Invariants for Program Verification
by: Chakraborty, Saikat, et al.
Published: (2023)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
by: Zhang, Dylan, et al.
Published: (2024)

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
by: Lin, Zhenru, et al.
Published: (2024)

CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization
by: Zhao, Yang, et al.
Published: (2024)

Linear Contextual Metaprogramming and Session Types
by: Ângelo, Pedro, et al.
Published: (2024)

What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces
by: Armengol-Estapé, Jordi, et al.
Published: (2025)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
by: Chen, Tianyu, et al.
Published: (2026)

Instruction Set and Language for Symbolic Regression
by: Lopez-Rubio, Ezequiel, et al.
Published: (2026)

Unified Tool Integration for LLMs: A Protocol-Agnostic Approach to Function Calling
by: Ding, Peng, et al.
Published: (2025)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
by: Liu, Ruibang, et al.
Published: (2024)

Chatting with Logs: An exploratory study on Finetuning LLMs for LogQL
by: Seshagiri, Vishwanath, et al.
Published: (2024)

ToolRegistry: A Protocol-Agnostic Tool Management Library for Function-Calling LLMs
by: Ding, Peng, et al.
Published: (2025)

ToolWeave: Structured Synthesis of Complex Multi-Turn Tool-Calling Dialogues
by: Khandelwal, Dinesh, et al.
Published: (2026)

Assessing Code Understanding in LLMs
by: Laneve, Cosimo, et al.
Published: (2025)

What Were You Thinking? An LLM-Driven Large-Scale Study of Refactoring Motivations in Open-Source Projects
by: Robredo, Mikel, et al.
Published: (2025)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
by: Zhao, Pinhan, et al.
Published: (2025)

Towards LLM-based optimization compilers. Can LLMs learn how to apply a single peephole optimization? Reasoning is all LLMs need!
by: Fang, Xiangxin, et al.
Published: (2024)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
by: Le-Cong, Thanh, et al.
Published: (2025)