Tootfinder

Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models
Rihui Jin, Zheyu Xin, Xing Xie, Zuoyi Li, Guilin Qi, Yongrui Chen, Xinbang Dai, Tongtong Wu, Gholamreza Haffari
https://arxiv.org/abs/2506.06137

Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models
Table reasoning (TR) requires structured reasoning over semi-structured tabular data and remains challenging, particularly for small language models (SLMs, e.g., LLaMA-8B) due to their limited capacity compared to large LMs (LLMs, e.g., GPT-4o). To narrow this gap, we explore program-based TR (P-TR), which circumvents key limitations of text-based TR (T-TR), notably in numerical reasoning, by generating executable programs. However, applying P-TR to SLMs introduces two challenges: (i) vulnerabi…

In the last few weeks my online Digital Curation students have practiced running emulators to revive vintage software and learned the power and pitfalls of DNA storage. Digital preservation isn't just saving bits to a hard drive anymore https://DigitalCuration.UMaine.edu

Republican supporters of Ukraine put pressure on Trump after missile strikes | US foreign policy | The Guardian
https://www.theguardian.com/us-news/2025/apr/14/republicans-trump-ukraine

 
A climate of fear is perceptible in the United States today,
and it must be resisted no matter what,
CBS News correspondent Scott Pelley says.
“People are silencing themselves for fear that the government will retaliate against them,
and that’s not the America that we all love,”
Pelley told Anderson Cooper in an exclusive interview after CNN’s Saturday telecast of
“Good Night, and Good Luck.”
The Broadway play, which recounts CBS newsman Edwar…

‘If you fall silent, the country is doomed’: CBS News’ Scott Pelley stresses courage as network faces pressure campaign
A climate of fear is perceptible in the United States today, and it must be resisted no matter what, CBS News correspondent Scott Pelley says.

Paraconsistent Relations as a Variant of Kleene Algebras
Juliana Cunha, Alexandre Madeira, Lu\'is S. Barbosa
https://arxiv.org/abs/2506.05840 https://

Paraconsistent Relations as a Variant of Kleene Algebras
Kleene algebras (KA) and Kleene algebras with tests (KAT) provide an algebraic framework to capture the behavior of conventional programming constructs. This paper explores a broader understanding of these structures, in order to enable the expression of programs and tests yielding vague or inconsistent outcomes. Within this context, we introduce the concept of a paraconsistent Kleene Algebra with tests (PKAT), capable of capturing vague and contradictory computations. Finally, to establish the…

Milwaukee Bike Map Hub
"Track the progress of protected bikeways, plan your bike route through the city, and view existing bike infrastructure maps..."
There's also a bike rack locator, a "low stress" bike map, and other useful info.
https://storymaps.arcgis.co…

Milwaukee Bike Map Hub
Track the progress of protected bikeways, plan your bike route through the city, and view existing bike infrastructure maps

A comprehensive Darcy-type law for viscoplastic fluids: I. Framework
Emad Chaparian
https://arxiv.org/abs/2506.06184 https://arxiv.or…

A comprehensive Darcy-type law for viscoplastic fluids: I. Framework
A comprehensive Darcy-type law for viscoplastic fluids is proposed. Different regimes of yield-stress fluid flow in porous media can be categorised based on the Bingham number (i.e. the ratio of the yield stress to the characteristic viscous stress). In a recent study (Chaparian, J. Fluid Mech., vol. 980, A14, 2024), we addressed the yield/plastic limit (infinitely large Bingham number), namely, the onset of percolation when the applied pressure gradient is just sufficient to overcome the yield…

SurGSplat: Progressive Geometry-Constrained Gaussian Splatting for Surgical Scene Reconstruction
Yuchao Zheng, Jianing Zhang, Guochen Ning, Hongen Liao
https://arxiv.org/abs/2506.05935

SurGSplat: Progressive Geometry-Constrained Gaussian Splatting for Surgical Scene Reconstruction
Intraoperative navigation relies heavily on precise 3D reconstruction to ensure accuracy and safety during surgical procedures. However, endoscopic scenarios present unique challenges, including sparse features and inconsistent lighting, which render many existing Structure-from-Motion (SfM)-based methods inadequate and prone to reconstruction failure. To mitigate these constraints, we propose SurGSplat, a novel paradigm designed to progressively refine 3D Gaussian Splatting (3DGS) through the …

Nominal Equational Rewriting and Narrowing
Mauricio Ayala-Rinc\'on (University of Bras\'ilia, Brazil), Maribel Fern\'andez (King's College London, UK), Daniele Nantes-Sobrinho (University of Bras\'ilia, Brazil,Imperial College London, UK), Daniella Santaguida (University of Bras\'ilia, Brazil)
https://arx…

Nominal Equational Rewriting and Narrowing
Narrowing is a well-known technique that adds to term rewriting mechanisms the required power to search for solutions to equational problems. Rewriting and narrowing are well-studied in first-order term languages, but several problems remain to be investigated when dealing with languages with binders using nominal techniques. Applications in programming languages and theorem proving require reasoning modulo alpha-equivalence considering structural congruences generated by equational axioms, suc…

Experimental Study On Flashing-Induced Instabilities In An Open Natural Circulation System
Yuliang Fang, Xiaxin Cao, Wenxi Tian
https://arxiv.org/abs/2506.06213

Experimental Study On Flashing-Induced Instabilities In An Open Natural Circulation System
The natural circulation system (NCS) uses gravity pressure drop caused by density differences in the loop to generate the driving force without any external mechanical devices, which has been widely applied to the design of the nuclear reactor system and the passive safety system due to its simple structure, high intrinsic safety, and strong heat discharge capacity. However, the low-pressure condition can lead to a two-phase flow and make the flow characteristics in the NCS more complex. Flashi…