SearcharxivSearch

arXiv subjects

Jeremy Lee

Publications and source records attributed to Jeremy Lee.

4 recordsLinked to original sources

SQL-Trail: Multi-Turn Reinforcement Learning with Interleaved Feedback for Text-to-SQL

While large language models (LLMs) have substantially improved Text-to-SQL generation, a pronounced gap remains between AI systems and human experts on challenging benchmarks such as BIRD-SQL. We argue this gap stems largely from the prevailing single-pass paradigm, which lacks the iterative reasoning, schema exploration, and error-correction behaviors that humans naturally employ. To address this limitation, we introduce SQL-Trail, a multi-turn reinforcement learning (RL) agentic framework for Text-to-SQL. Rather than producing a query in one shot, SQL-Trail interacts with the database environment and uses execution feedback to iteratively refine its predictions. Our approach centers on two key ideas: (i) an adaptive turn-budget allocation mechanism that scales the agent's interaction depth to match question difficulty, and (ii) a composite reward panel that jointly incentivizes SQL correctness and efficient exploration. Across benchmarks, SQL-Trail sets a new state of the art and delivers strong data efficiency--up to 18x higher than prior single-pass RL state-of-the-art methods. Notably, our 7B and 14B models outperform substantially larger proprietary systems by 5% on average, underscoring the effectiveness of interactive, agentic workflows for robust Text-to-SQL generation.

cs.AI

Migration, trapping, and venting of gas in a soft granular material

Gas migration through a soft granular material involves a strong coupling between the motion of the gas and the deformation of the material. This process is relevant to a variety of natural phenomena, such as gas venting from sediments and gas exsolution from magma. Here, we study this process experimentally by injecting air into a quasi-2D packing of soft particles and measuring the morphology of the air as it invades and then rises due to buoyancy. We systematically increase the confining pre-stress in the packing by compressing it with a fluid-permeable piston, leading to a gradual transition in migration regime from fluidization to pathway opening to pore invasion. We find that mixed migration regimes emerge at intermediate confinement due to the spontaneous formation of a compaction layer at the top of the flow cell. By connecting these migration mechanisms with macroscopic invasion, trapping, and venting, we show that mixed regimes enable a sharp increase in the average amount of gas trapped within the packing, as well as much larger venting events. Our results suggest that the relationship between invasion, trapping, and venting could be controlled by modulating the confining stress.

cond-mat.soft

Squiggle - A Glyph Recognizer for Gesture Input

Squiggle is a template-based glyph recognizer in the lineage of `$1 Recognizer' and `Protractor'. It seeks a good fit linear affine mapping between the input and template glyphs which are represented as a list of milestone points along the glyph path. The algorithm can recognize input glyphs invariant of rotation, scaling, skew, and reflection symmetries. In practice the algorithm is fast and robust enough to recognize user-generated glyphs as they are being drawn in real time, and to project `shadows' of the matching templates as feedback.

cs.HC

Practical Multiwriter Lock-Free Queues for "Hard Real-Time" Systems without CAS

FIFO queues with a single reader and writer can be insufficient for "hard real-time" systems where interrupt handlers require wait-free guarantees when writing to message queues. We present an algorithm which elegantly and practically solves this problem on small processors that are often found in embedded systems. The algorithm does not require special CPU instructions (such as atomic CAS), and therefore is more robust than many existing methods that suffer the ABA problem associated with swing pointers. The algorithm gives "first-in, almost first-out" guarantees under pathological interrupt conditions, which manifests as arbitrary "shoving" among nearly-simultaneous arrivals at the end of the queue.

cs.OS