·
DataBubble
  • Home
  • Models
  • News
  • Compare
  • Boards
  • Pricing
  • About
  • Newsletter
  • Methodology
  • Contact
Latest
Perplexity trusts GPT-6 Astra with end-to-end systems-2473m◆TeleOCR: Navigating Document Parsing Across Digital and Camera-Captured Documents2h◆Ambient @ EgoProactive 2026 : Proactive Egocentric Assistance with Visually Grounded Supervision2h◆Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)2h◆Natural Language Access to Domain-Specific Metadata: A Reusable Framework for LLM Query Generation2h◆ScaleResfusion: Residual Rectified Flow based on Residual Vector Field2h◆SPECTRA: Band-Routed Embedding and Stage-Wise LoRA for Cross-Sensor Fine-Tuning of Geospatial Foundation Models2h◆Toward Collective-Centric Evaluation of Preference Inference for Participatory Democracy2h◆Edu-QuRating: Multi-Dimensional Educational Data Curation with Distilled Pairwise Judgements2h◆Optimizing Three Critical Factors for Practical and Effective OOD Detection Fine-Tuning2h◆ExpTest: Loss-Curve Hypothesis Testing for Autonomous Learning-Rate Selection in Deep Neural Networks2h◆PACE: Perceived-Latency-Aware Cascading Service Routing and Filler Control for QoE-Efficient Retrieval-Augmented Dialogue Serving2h◆Data-Efficient Language Modeling: From Frontier Advancement to Principle-Guided Model Improvement2h◆Beyond Word Error Rate: A Switch Aware Evaluation of ASR and Audio Language Models on English Yoruba Code-Switched Speech2h◆KuaiRP Series Role-playing Models Technical Report2h◆A Voice-Interactive Multi-Agent System for Smart Operating Rooms: Architecture Design and Key Technologies2h◆RetroThinker: Enabling Retrospective Thinking in Speech LLMs2h◆The Last AI Built by Humans: Toward Genuine Recursive Self-Improvement2h◆Biology-in-the-loop: Amortized Adaptive Hit Discovery in CRISPR Screens2h◆CHRONOBERG: Capturing Language Evolution and Temporal Awareness in Foundation Models2h◆Perplexity trusts GPT-6 Astra with end-to-end systems-2473m◆TeleOCR: Navigating Document Parsing Across Digital and Camera-Captured Documents2h◆Ambient @ EgoProactive 2026 : Proactive Egocentric Assistance with Visually Grounded Supervision2h◆Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)2h◆Natural Language Access to Domain-Specific Metadata: A Reusable Framework for LLM Query Generation2h◆ScaleResfusion: Residual Rectified Flow based on Residual Vector Field2h◆SPECTRA: Band-Routed Embedding and Stage-Wise LoRA for Cross-Sensor Fine-Tuning of Geospatial Foundation Models2h◆Toward Collective-Centric Evaluation of Preference Inference for Participatory Democracy2h◆Edu-QuRating: Multi-Dimensional Educational Data Curation with Distilled Pairwise Judgements2h◆Optimizing Three Critical Factors for Practical and Effective OOD Detection Fine-Tuning2h◆ExpTest: Loss-Curve Hypothesis Testing for Autonomous Learning-Rate Selection in Deep Neural Networks2h◆PACE: Perceived-Latency-Aware Cascading Service Routing and Filler Control for QoE-Efficient Retrieval-Augmented Dialogue Serving2h◆Data-Efficient Language Modeling: From Frontier Advancement to Principle-Guided Model Improvement2h◆Beyond Word Error Rate: A Switch Aware Evaluation of ASR and Audio Language Models on English Yoruba Code-Switched Speech2h◆KuaiRP Series Role-playing Models Technical Report2h◆A Voice-Interactive Multi-Agent System for Smart Operating Rooms: Architecture Design and Key Technologies2h◆RetroThinker: Enabling Retrospective Thinking in Speech LLMs2h◆The Last AI Built by Humans: Toward Genuine Recursive Self-Improvement2h◆Biology-in-the-loop: Amortized Adaptive Hit Discovery in CRISPR Screens2h◆CHRONOBERG: Capturing Language Evolution and Temporal Awareness in Foundation Models2h◆
News/Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
arxiv
PublishedSeptember 12, 2026 at 4:00 AM

Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)

Source
arxiv.orgfull article ↗
Read on arxiv→
Publisher summary· verbatim

arXiv:2609.07345v2 Announce Type: replace-cross Abstract: In Isabelle/HOL, we apply the deep-and-shallow embedding methodology of our prior work to monadic second-order logic (MSO). Three embeddings are developed side by side: a deep embedding (an inductive datatype with an explicit satisfaction rel

Stay posted· Newsletter

A 5-min weekly brief — top movers, price watch, story of the week.

// no spam · unsubscribe one-click · free forever

Discussion
Source
↗
arxiv
Read original ↗All from arxiv →

No replies yet. Be first.

Source
↗
arxiv
Read original ↗All from arxiv →

Related coverage

More from ARXIV
arxivTeleOCR: Navigating Document Parsing Across Digital and Camera-Captured Documents2harxivAmbient @ EgoProactive 2026 : Proactive Egocentric Assistance with Visually Grounded Supervision2harxivNatural Language Access to Domain-Specific Metadata: A Reusable Framework for LLM Query Generation2harxivScaleResfusion: Residual Rectified Flow based on Residual Vector Field2h
The Bubble Brief
WEEKLY

Read AI insights every Tuesday — top movers, new releases, story of the week.

// no spam · unsubscribe one-click · free forever

Originally published on arxiv ↗
HomeModelsNews