·
DataBubble
  • Home
  • Models
  • News
  • Compare
  • Boards
  • Pricing
  • About
  • Newsletter
  • Methodology
  • Contact
Latest
US threatens sanctions against Chinese AI models over IP theft40m◆Google launches a cheaper alternative to large AI security models like Mythos1h◆Music streamer Deezer says more than 50% of daily uploads are AI-generated2h◆Halliday’s latest smart glasses feature a much-improved display3h◆America needs to stop getting shocked by Chinese AI5h◆Advancing next-gen AI with materials science innovation5h◆Gritt exits stealth with $32 million for robots to build solar plants — then, everything else6h◆Capacity and Redundancy Trade-offs in Multi-Task Learning12h◆Predictive Training with Latent Imagination for Visual Quadruped Navigation12h◆Where Not to Learn: Prior-Aligned Training with Subset-based Attribution Constraints for Reliable Decision-Making12h◆Did We Actually Fix It? An Independent Adversarial Stress-Test of Post-Point-Adjustment Evaluation Metrics for Time-Series Anomaly Detection12h◆Supervised Reward Inference12h◆PPO-HSC: An Exploratory Reinforcement Learning Framework Based on Wide-Area Policy Coverage Optimization12h◆Is Progressive Disclosure All You Need for Long-Context Agents?12h◆It Depends on the Dataset: When a Brain-Encoding Model's Predicted Responses Beat Their Visual Backbone for Video Memorability12h◆DMFNet: Dual-Backbone Multiscale Fusion Network for Urban Scene Classification12h◆Oracle Gap and Signal Fidelity: A Fixed-Pool Diagnostic for Test-Time Collaboration12h◆Scientific reasoning does not reliably translate into scientific forecasting in frontier AI12h◆Language Triggers Hijack Language Circuits: A Mechanistic Analysis of Backdoor Behaviors in Large Language Models12h◆AI-Augmented Human Resource Management? Insights from German companies12h◆US threatens sanctions against Chinese AI models over IP theft40m◆Google launches a cheaper alternative to large AI security models like Mythos1h◆Music streamer Deezer says more than 50% of daily uploads are AI-generated2h◆Halliday’s latest smart glasses feature a much-improved display3h◆America needs to stop getting shocked by Chinese AI5h◆Advancing next-gen AI with materials science innovation5h◆Gritt exits stealth with $32 million for robots to build solar plants — then, everything else6h◆Capacity and Redundancy Trade-offs in Multi-Task Learning12h◆Predictive Training with Latent Imagination for Visual Quadruped Navigation12h◆Where Not to Learn: Prior-Aligned Training with Subset-based Attribution Constraints for Reliable Decision-Making12h◆Did We Actually Fix It? An Independent Adversarial Stress-Test of Post-Point-Adjustment Evaluation Metrics for Time-Series Anomaly Detection12h◆Supervised Reward Inference12h◆PPO-HSC: An Exploratory Reinforcement Learning Framework Based on Wide-Area Policy Coverage Optimization12h◆Is Progressive Disclosure All You Need for Long-Context Agents?12h◆It Depends on the Dataset: When a Brain-Encoding Model's Predicted Responses Beat Their Visual Backbone for Video Memorability12h◆DMFNet: Dual-Backbone Multiscale Fusion Network for Urban Scene Classification12h◆Oracle Gap and Signal Fidelity: A Fixed-Pool Diagnostic for Test-Time Collaboration12h◆Scientific reasoning does not reliably translate into scientific forecasting in frontier AI12h◆Language Triggers Hijack Language Circuits: A Mechanistic Analysis of Backdoor Behaviors in Large Language Models12h◆AI-Augmented Human Resource Management? Insights from German companies12h◆
News/First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint)
arxiv
PublishedJuly 20, 2026 at 4:00 AM
—neutral

First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint)

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

arXiv:2607.10880v2 Announce Type: replace Abstract: We extend, in Isabelle/HOL, the deep-and-shallow embedding methodology of our prior work from propositional to first-order modal logic (FML) with constant-domain Kripke semantics. Three embeddings of FML into classical higher-order logic (HOL) are

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
arxivCapacity and Redundancy Trade-offs in Multi-Task Learning12harxivPredictive Training with Latent Imagination for Visual Quadruped Navigation12harxivWhere Not to Learn: Prior-Aligned Training with Subset-based Attribution Constraints for Reliable Decision-Making12harxivDid We Actually Fix It? An Independent Adversarial Stress-Test of Post-Point-Adjustment Evaluation Metrics for Time-Series Anomaly Detection12h
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