Skip to main content
Search

# Large language models

105 related articles

Subscribe to updates
  1. arXiv

    Where semantic priors should enter causal discovery: orientation gains hold, but query placement and admission certificates do not yet

    Observational data often leave causal directions unresolved or unstable, and large language models can propose directions from variable names and descriptions. This study splits the use of semantic information into query allocation, proposal admission and graph retention, and tests each on the Asia, Sachs, Child, Insurance and Alarm benchmark networks. Semantic orientation beats coin-flip orientation, but targeting unstable edges shows no established advantage over matched-random allocation; the tested admission certificate can only abstain given the available calibration tasks, and learned references contain the true DAG in only three of 80 planned tasks.

  2. arXiv

    AI has its own proving style: reproving all 465 propositions of Euclid's Elements, AI runs match each other at 0.68 versus 0.37 with humans

    Three large language models independently reproved all 465 propositions of Euclid's Elements, and their citation choices differ systematically from Heath's human-proof baseline. Mean pairwise Jaccard similarity among three Claude Opus 4.6 runs is 0.68, nearly twice the 0.37 between AI and human proofs, so the difference is stable and reproducible. Its concrete signature is that about 40% of AI citations point to foundational elements such as definitions, common notions and postulates, against only 13% in human proofs.

  3. arXiv

    Claude stops grinding Dafny proofs one obligation at a time: 37 algorithms machine-checked, triconnectivity test included

    A team at Eindhoven University of Technology organized LLM-assisted Dafny verification into a ten-step workflow in which Claude Code acts as a verification construction agent, producing specifications, implementations, invariants and proofs under human supervision. The workflow yielded machine-checked Dafny implementations for 37 algorithms from graph theory, labelled transition systems and computational geometry, including the Hopcroft–Tarjan triconnectivity test; the authors report many verifications within hours to a few days, but ran no controlled comparison against human-led verification.

  4. lyogavin/airllm

    AirLLM runs the 2.8T Kimi K3 on one GPU at 3.72GB of VRAM by streaming layers, not quantizing

    AirLLM pushes large-model inference memory down to a few gigabytes on a single card: Kimi K3 (2.8T) measured end to end at 3.72GB of VRAM on one RTX 6000 Ada, Qwen3.8-Flash-Next (125B) at 5.95GB on one RTX 4090, and DeepSeek-V3 (671B) at about 12GB. It uses no quantization, distillation or pruning; instead it streams weights layer by layer, and for MoE models loads only the experts each token actually routes to. The project extends the same idea to training: frozen weights stream in one layer at a time while adapters stay on the GPU, letting a 125B model train under 6GB.

  5. arXiv

    Auditing clinical prediction networks without their weights: GPT-6 Astra recovers every planted relationship up to 38,401 weights once given a calculator

    Clinical prediction models often arrive as files without the data they were trained on, so an auditor must work out what the model actually computes. Researchers trained tanh networks of 105 to 38,401 weights on simulated subarachnoid haemorrhage cohorts, planted known relationships or a label bias, and asked GPT-6 Astra to answer with no tools, with a calculation-only white-box tool, or with a black-box tool exposing only predictions. Without tools Astra recovered planted relationships in 353-weight networks but became unreliable at 3,457 weights; with the calculator it recovered the relationship in all 29 runs that had one, raised no false alarm in 15 null runs, and black-box matched white-box.

  6. PFN opens the weights of PLaMo 3 Translate: a 0.8B model runs 53 languages offline

    Preferred Networks released PLaMo 3 Translate, a translation-specialized LLM suite originally built for its own PLaMo Translate service, as open weights on Hugging Face in four sizes (0.8B, 2B, 8B, 31B), runnable entirely offline on smartphones, laptops or internal corporate servers across 53 languages including English and Japanese. Under the PLaMo Community License, individuals and enterprises with annual revenue of 1 billion yen or less in their most recent fiscal year can download and use the models free for commercial and non-commercial purposes; larger organizations need a commercial license. PFN says its comparative evaluations put even the smallest 0.8B version ahead of comparable translation-specific LLMs such as Google's TranslateGemma and Tencent's Hy-MT2.

  7. medRxiv

    Three LLMs locked predictions before ESC 2026: from registered design alone, the best AUC for separating positive from negative trials was 0.80

    Before the European Society of Cardiology Congress 2026 opened, three large language models locked predictions of whether each trial's primary endpoint would be met, using only design information public at registration. Of 48 scorable trials, 28 were positive; Claude, GPT and Gemini separated positive from negative trials with AUCs of 0.80, 0.79 and 0.74, all above chance. Among 26 trials whose effect was reported exactly as locked, the direction was correct in 88% of predictions, and the median multiplicative error of ratio estimates was about 15%.

  8. arXiv

    Story generation learns to plan reader suspense and humor: trajectory fidelity rises 12%–35% while coherence largely holds

    Large language models write stories that often lack the rising and falling reader experience that makes narrative engaging. A new framework first learns how reader responses such as suspense or humor evolve in high-quality human-written stories, then uses a small model to predict the response the next segment should elicit and steers an off-the-shelf writer model with that prediction. Across suspense and humor, with GPT-5.5 and Qwen3.5-27B as writers, generated stories improve trajectory-based fidelity to human-written stories by 12%–35% while largely preserving story coherence.

  9. medRxiv

    Therapy sessions can now run in silico: raising therapist empathy prompts lifts every motivational-interviewing integrity score

    Psychotherapy research is constrained by costly trials and clinical features that are hard to manipulate at random. A preregistered proof-of-concept study paired therapist and patient agents built on a locally deployed Llama-3.3-70B-Instruct to generate 512 automated motivational interviewing sessions, manipulating only the therapist prompts for empathy, affirmation and alliance building. Among 480 sessions retained for analysis, all four motivational interviewing treatment integrity global ratings were higher under high common factors, with adjusted mean differences of 0.54 to 0.95 points.

  10. aclanthology.org

    Autoregressive training drops strict left-to-right targets: Max(MI(S;t)) reorders by mutual information and lifts arithmetic accuracy to 94.96%

    Autoregressive language models normally learn next-token prediction in a fixed left-to-right order; Max(MI(S;t)) instead ranks target tokens by their mutual information with the source and already-selected targets before training, exposing informative targets earlier. On GPT-style models it reaches 94.96% average accuracy across arithmetic tasks, against 74.84% for next-token prediction and 86.29% for reverse order, close to the 97.33% upper bound from exhaustively testing 24 orders; on WikiText-2 it lowers average perplexity from 13.58 to 10.77. Only the training-target organization changes; architecture and autoregressive decoding stay the same.