large language models

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language …
PDF Cite Code Dataset DOI Artifact Evaluated
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Fill the GAP: A Granular Alignment Paradigm for Visual Reasoning in Multimodal Large Language Models
Visual latent reasoning lets a multimodal large language model (MLLM) create intermediate visual evidence as continuous tokens, …
PDF Cite Source Document
Preserving Knowledge in Large Language Model with Model-Agnostic Self-Decompression
Humans can retain old knowledge while learning new information, but Large Language Models (LLMs) often suffer from catastrophic …
PDF Cite Source Document
Trace2Skill: Distill Trajectory-Local Lessons into Transferable Agent Skills
Large Language Model (LLM) agents increasingly rely on domain-specific skills, yet manually authoring such skills does not scale, and …
PDF Cite Source Document
Horae: A Domain-Agnostic Language for Automated Service Regulation
Artificial intelligence is rapidly encroaching on the field of service regulation. However, existing AI-based regulation techniques are …
PDF Cite Code Dataset DOI
Horae: A Domain-Agnostic Language for Automated Service Regulation
Preguss: It Analyzes, It Specifies, It Verifies
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language …
PDF Cite DOI
Preguss: It Analyzes, It Specifies, It Verifies
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
Self-improving large language models (LLMs) – i.e., to improve the performance of an LLM by fine-tuning it with synthetic data …
PDF Cite DOI
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation
Artificial intelligence is rapidly encroaching on the field of service regulation. This work-in-progress article presents the design …
PDF Cite DOI
Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation
A Privacy Policy Text Compliance Reasoning Framework with Large Language Models for Healthcare Services
The advancement of AI-generated content (AIGC) drives the diversification of healthcare services, resulting in increased private …
PDF Cite
A Privacy Policy Text Compliance Reasoning Framework with Large Language Models for Healthcare Services