← heapsort-ai

research

78 items

RESEARCHarXiv CS.AI·4/21/2026

From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies

This paper introduces an LLM-assisted active learning method for OWL ontologies, where subsumption queries are reformulated into verbalized counter-concepts for LLMs. LLMs provide real-world examples to approximate these counter-concepts, ensuring that only Type II errors occur, which merely delay the construction process without introducing inconsistencies.

31
NEWSDEV.to AI·19d ago

Today's AI & Tech Digest: Scientific Breakthroughs, Model Wars, and Industry Retrenchment (2026-05-22)

Today's AI digest highlights a significant shift as OpenAI's model disproved a mathematical conjecture, demonstrating AI's capability for genuine scientific discovery. Simultaneously, the market is seeing accelerated "AI-first" corporate restructuring, with massive layoffs widening the gap between AI innovation and human-capital reduction.

27
RESEARCHarXiv CS.CL·14d ago

CroCo: Cross-Lingual Contrastive Preference Tuning on Self-Generations

This work introduces CroCo, a method for cross-lingual contrastive preference tuning on self-generated responses from LLMs, demonstrating effective transfer across 14 languages without language-specific preference annotations. An English-trained reward model yields useful rankings across most languages, improving existing models and preventing catastrophic forgetting, provided on-policy data is used.

27
ARTICLEDEV.to AI·4/26/2026

GPT-Researcher and AutoSearch Together

The article explains how GPT-Researcher and AutoSearch can be used together, with GPT-Researcher handling research planning and report generation, while AutoSearch focuses on gathering evidence from diverse sources. They complement each other to optimize the research workflow, allowing for greater control over investigation steps.

27