SynCode: LLM generation with grammar augmentation

S Ugare, T Suresh, H Kang, S Misailovic… - arxiv preprint arxiv …, 2024 - arxiv.org
LLMs are widely used in complex AI applications. These applications underscore the need
for LLM outputs to adhere to a specific format, for their integration with other components in …

From decoding to meta-generation: Inference-time algorithms for large language models

S Welleck, A Bertsch, M Finlayson… - arxiv preprint arxiv …, 2024 - arxiv.org
One of the most striking findings in modern research on large language models (LLMs) is
that scaling up compute during training leads to better results. However, less attention has …

Structuredrag: Json response formatting with large language models

C Shorten, C Pierse, TB Smith, E Cardenas… - arxiv preprint arxiv …, 2024 - arxiv.org
The ability of Large Language Models (LLMs) to generate structured outputs, such as JSON,
is crucial for their use in Compound AI Systems. However, evaluating and improving this …

Formal mathematical reasoning: A new frontier in ai

K Yang, G Poesia, J He, W Li, K Lauter… - arxiv preprint arxiv …, 2024 - arxiv.org
AI for Mathematics (AI4Math) is not only intriguing intellectually but also crucial for AI-driven
discovery in science, engineering, and beyond. Extensive efforts on AI4Math have mirrored …

[HTML][HTML] Large Language Model-Driven Structured Output: A Comprehensive Benchmark and Spatial Data Generation Framework

D Li, Y Zhao, Z Wang, C Jung, Z Zhang - ISPRS International Journal of …, 2024 - mdpi.com
Large language models (LLMs) have demonstrated remarkable capabilities in document
processing, data analysis, and code generation. However, the generation of spatial …

DSL-Xpert: LLM-driven Generic DSL Code Generation

V Lamas, M R. Luaces, D Garcia-Gonzalez - Proceedings of the ACM …, 2024 - dl.acm.org
Nowadays, large language models (LLMs) are an extremely useful and fast tool to
complement and help in many jobs and current problems. However, there are cases where …

Moral Alignment for LLM Agents

E Tennant, S Hailes, M Musolesi - arxiv preprint arxiv:2410.01639, 2024 - arxiv.org
Decision-making agents based on pre-trained Large Language Models (LLMs) are
increasingly being deployed across various domains of human activity. While their …

Towards Inference-time Category-wise Safety Steering for Large Language Models

A Bhattacharjee, S Ghosh, T Rebedea… - arxiv preprint arxiv …, 2024 - arxiv.org
While large language models (LLMs) have seen unprecedented advancements in
capabilities and applications across a variety of use-cases, safety alignment of these models …

Reliable Text-to-SQL with Adaptive Abstention

K Chen, Y Chen, N Koudas, X Yu - … of the ACM on Management of Data, 2025 - dl.acm.org
Large language models (LLMs) have revolutionized natural language interfaces for
databases, particularly in text-to-SQL conversion. However, current approaches often …

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models

MK Chen, X Zhang, D Tao - arxiv preprint arxiv:2501.14851, 2025 - arxiv.org
Logical reasoning is a critical component of Large Language Models (LLMs), and
substantial research efforts in recent years have aimed to enhance their deductive …