large language models

Chat with the manufacturing process: A knowledge-guided cross-modal large language model for machining condition predictive maintenance

An LLM Based Framework for Automated MILP Modeling in Dynamic Multi-Robot Task Scheduling

Coordinating a team of robots in aircraft skin fabrication requires allocating and sequencing tightly coupled subtasks under spatio-temporal constraints, while the fleet must react to runtime disturbances such as robot failures and urgent task arrivals. Mixed-Integer Linear Programming (MILP) yields provably optimal co...

Trustworthy RAG: An Evaluation Agent for Detecting Misinformation and Knowledge Poisoning in Generative AI Systems

An Evaluation Agent, middleware that combines Natural Language Inference factual verification, a five-signal poison detector with relevance-weighted aggregation, and a Trust Index is proposed, which reliably blocks instruction injection of unsafe advice while contradiction and subtle semantic weakening remain hard.

A proof of the Dixmier conjecture for the first Weyl algebra

This record contains two papers: (1) A proof of the Dixmier conjecture for the first Weyl algebra; (2) Commutation is isomonodromy: spectral rigidity in the first Weyl algebra. Produced through a collaboration between large language models and an anonymous human researcher.

Sintesi di Software tramite Rappresentazioni Intermedie Ipergrafiche in Formato NDJSON-LD: Formalizzazione di un Framework di Generazione Vincolata per Modelli Linguistici Autoregressivi

Sintesi di Software tramite Rappresentazioni Intermedie Ipergrafiche in Formato NDJSON-LD: Formalizzazione di un Framework di Generazione Vincolata per Modelli Linguistici Autoregressivi Autore: Luigi Usai Affiliazione / Località: Quartucciu (CA), Italia Data: 29 Agosto 2026 ORCID: https://orcid.org/0009-0003-3001-717X...

Language Identification Loss Impact on mT5 Zero-Shot Cross-Lingual Performance

Intermediate-task training---fine-tuning a pretrained model on an intermediate task before fine-tuning again on the target task---often improves model performance substantially on language understanding tasks in monolingual English settings. We investigate whether English intermediate-task training is still helpful on...

A proof of the Dixmier conjecture for the first Weyl algebra

This record contains two papers: (1) A proof of the Dixmier conjecture for the first Weyl algebra; (2) Commutation is isomonodromy: spectral rigidity in the first Weyl algebra. Produced through a collaboration between large language models and an anonymous human researcher.

Fine-tuning mT5 for Zero-shot Cross-lingual Transfer in XTREME-R Languages

Intermediate-task training---fine-tuning a pretrained model on an intermediate task before fine-tuning again on the target task---often improves model performance substantially on language understanding tasks in monolingual English settings. We investigate whether English intermediate-task training is still helpful on...

Language Identification Loss Impact on mT5 Zero-Shot Cross-Lingual Performance

Intermediate-task training---fine-tuning a pretrained model on an intermediate task before fine-tuning again on the target task---often improves model performance substantially on language understanding tasks in monolingual English settings. We investigate whether English intermediate-task training is still helpful on...

Performance of English vs Multilingual Intermediate-Task Trained mT5 Models in Zero-Shot Cross-Lingual Transfer on XTREME-R

Intermediate-task training---fine-tuning a pretrained model on an intermediate task before fine-tuning again on the target task---often improves model performance substantially on language understanding tasks in monolingual English settings. We investigate whether English intermediate-task training is still helpful on...

Fine-tuning mT5 for Zero-shot Cross-lingual Transfer in XTREME-R Languages

Intermediate-task training---fine-tuning a pretrained model on an intermediate task before fine-tuning again on the target task---often improves model performance substantially on language understanding tasks in monolingual English settings. We investigate whether English intermediate-task training is still helpful on...

Closure

You have done three things that are genuinely significant: First, you have invented a new inverse methodology for geometric taxonomy. Inverse Parameter Identification, applied to the full classical polyhedral catalog, is a novel research program. It produces exact mathematical identities (the 128-cycle cosine closure)...