:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Liétard, Bastien, Loiseau, Gabriel
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	https://arxiv.org/abs/2508.04494
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

To Word Senses and Beyond: Inducing Concepts with Contextualized Language Models
by: Liétard, Bastien, et al.
Published: (2024)

Lemma Dilemma: On Lemma Generation Without Domain- or Language-Specific Training Data
by: Toporkov, Olia, et al.
Published: (2025)

Reliable Use of Lemmas via Eligibility Reasoning and Section$-$Aware Reinforcement Learning
by: Xu, Zhikun, et al.
Published: (2026)

From Lemmas to Dependencies: What Signals Drive Light Verbs Classification?
by: Karakaş, Sercan, et al.
Published: (2026)

Distilling Human-Aligned Privacy Sensitivity Assessment from Large Language Models
by: Loiseau, Gabriel, et al.
Published: (2026)

Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
by: Yamakami, Tomoyuki
Published: (2021)

LemmaHead: RAG Assisted Proof Generation Using Large Language Models
by: Yang, Tianbo, et al.
Published: (2025)

A Shape Lemma for Ideals of Differential Operators
by: Kauers, Manuel, et al.
Published: (2025)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

Proving Functional Program Equivalence via Directed Lemma Synthesis
by: Sun, Yican, et al.
Published: (2024)

Lemmas: Generation, Selection, Application
by: Rawson, Michael, et al.
Published: (2023)

On the Locality of the Lovász Local Lemma
by: Davies-Peck, Peter
Published: (2025)

Languages in Whisper-Style Speech Encoders Align Both Phonetically and Semantically
by: Shim, Ryan Soh-Eun, et al.
Published: (2025)

An XOR Lemma for Deterministic Communication Complexity
by: Iyer, Siddharth, et al.
Published: (2024)

AlignSAE: Concept-Aligned Sparse Autoencoders
by: Yang, Minglai, et al.
Published: (2025)

Tau-Eval: A Unified Evaluation Framework for Useful and Private Text Anonymization
by: Loiseau, Gabriel, et al.
Published: (2025)

TAROT: Task-Oriented Authorship Obfuscation Using Policy Optimization Methods
by: Loiseau, Gabriel, et al.
Published: (2024)

Adaptive Text Anonymization: Learning Privacy-Utility Trade-offs via Prompt Optimization
by: Loiseau, Gabriel, et al.
Published: (2026)

A Distance Amplification Lemma for Monotonicity
by: Minzer, Dor
Published: (2025)

Strong XOR Lemma for Information Complexity
by: Sawettamalya, Pachara, et al.
Published: (2024)

Most Juntas Saturate the Hardcore Lemma
by: Kumar, Vinayak M.
Published: (2025)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

Algorithmizing the Multiplicity Schwartz-Zippel Lemma
by: Bhandari, Siddharth, et al.
Published: (2021)

ViConBERT: Context-Gloss Aligned Vietnamese Word Embedding for Polysemous and Sense-Aware Representations
by: Huynh, Khang T., et al.
Published: (2025)

Sufficient Conditions for the Shrinking Wellness Lemma
by: Bannwart, Clemens
Published: (2025)

XOR Lemmas for Communication via Marginal Information
by: Iyer, Siddharth, et al.
Published: (2023)

The Fundamental Lemma of Altermagnetism: Emergence of Alterferrimagnetism
by: Barman, Chanchal K., et al.
Published: (2025)

Approximate Counting in Local Lemma Regimes
by: Mann, Ryan L., et al.
Published: (2025)

Well-Founded Coalgebras Meet König's Lemma
by: Urbat, Henning, et al.
Published: (2025)

Affine Disjunctive Invariant Generation with Farkas' Lemma
by: Ke, Jingyu, et al.
Published: (2023)

Segment, Embed, and Align: A Universal Recipe for Aligning Subtitles to Signing
by: Jiang, Zifan, et al.
Published: (2025)

On Opial's Lemma
by: Arakcheev, Aleksandr, et al.
Published: (2025)

Metrical Distortion, Exterior Differential and Gauss's Lemma
by: Voellinger, Stephan
Published: (2026)

Exploring Intra and Inter-language Consistency in Embeddings with ICA
by: Li, Rongzhi, et al.
Published: (2024)

Funny or Persuasive, but Not Both: Evaluating Fine-Grained Multi-Concept Control in LLMs
by: Labroo, Arya, et al.
Published: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
by: Cecilia, Gabriele, et al.
Published: (2024)

Finding Meaning in Embeddings: Concept Separation Curves
by: Keuren, Paul, et al.
Published: (2026)

The Schwarz-Pick Lemma as a Consequence of the Ahlfors-Schwarz-Pick Lemma
by: Cejas, Rafael Benjumea, et al.
Published: (2025)

Adaptative Bilingual Aligning Using Multilingual Sentence Embedding
by: Kraif, Olivier
Published: (2024)

Connected Equitable Cake Division via Sperner's Lemma
by: Bhaskar, Umang, et al.
Published: (2024)