Batch Prompting Suppresses Overthinking Reasoning Under Constraint: How Batch Prompting Suppresses Overthinking in Reasoning Models

Recent research evaluates the robustness of Large Language Models (LLMs) in generating formal proofs from semantically similar paraphrased natural language statements. This study utilizes benchmarks like MiniF2F and Lean 4 version of ProofNet to assess semantic and compilation validity, revealing that LLMs can be sensitive to paraphrased inputs despite maintaining high semantic fidelity.

LongVT has been introduced as an innovative framework designed to enhance video reasoning capabilities in large multimodal models (LMMs) by facilitating a process known as 'Thinking with Long Videos.' This approach utilizes a global-to-local reasoning loop, allowing models to focus on specific video clips and retrieve relevant visual evidence, thereby addressing challenges associated with long-form video processing.

A novel framework named LangSAT has been introduced, which integrates reinforcement learning (RL) with natural language processing (NLP) to enhance Boolean satisfiability (SAT) solving. This system allows users to input standard English descriptions, which are then converted into Conjunctive Normal Form (CNF) expressions for solving, thus improving accessibility and efficiency in SAT-solving processes.

A recent study published on arXiv investigates the use of generic masculines (GM) in contemporary German press texts, analyzing their distribution and linguistic characteristics. The research focuses on lexeme-specific differences among personal nouns, revealing significant variations, particularly between passive role nouns and prestige-related personal nouns, based on a corpus of 6,195 annotated tokens.

An enhanced benchmark for evaluating linguistic acceptability in Danish has been introduced, focusing on common errors in written Danish. This benchmark includes fourteen corruption functions that systematically introduce errors into correct sentences, allowing for a more rigorous assessment of linguistic acceptability in Large Language Models (LLMs).

SignRoundV2 has been introduced as a post-training quantization framework aimed at improving the efficiency of deploying Large Language Models (LLMs) while minimizing performance degradation typically associated with low-bit quantization. This framework employs a fast sensitivity metric and a lightweight pre-tuning search to optimize layer-wise bit allocation and quantization scales, achieving competitive accuracy even at extremely low-bit levels.

The CALAMITA initiative, coordinated by the Italian Association for Computational Linguistics, aims to systematically evaluate Large Language Models (LLMs) in Italian through a collaborative benchmarking approach. This project involves over 80 contributors from various sectors to create a comprehensive benchmark of tasks that assess linguistic competence, commonsense reasoning, and other capabilities of LLMs.

Recent research has uncovered a limit cycle organization in the articulatory movements that generate human speech, challenging the conventional view of speech as discrete actions. This study reveals that rhythmicity, often associated with acoustic energy and neuronal excitations, is also present in the motor activities involved in speech production.