All Articles
16423 articles total
Sperm Whales blow bubbles to achieve restful, vertical sleep
A natural history report on the sleeping patterns of Sperm Whales, who sleep vertically to achieve rest.
Prentis, new AI lab co-founded by Reid Hoffman, Mark Pincus in talks to raise $100M
Reid Hoffman and Mark Pincus are co-founding Prentis, a new AI lab aiming to raise $100M to automate routine computer tasks.
slang.gr as a Large-Scale Crowdsourced Resource for Non-Standard Greek
The introduction of slang.gr, a large-scale crowdsourced resource for non-standard Greek, providing a foundation for sociolinguistic NLP.
pAI-Econ-claude: A Gated Human-in-the-Loop Multi-Agent Architecture for AI-Assisted Economic Theory Development
pAI-Econ-claude is a gated human-in-the-loop multi-agent architecture designed to assist in economic theory development.
A Comparative Evaluation of Embeddings and LLMs in a Greek Book Publisher Setting - The CUP Dataset
An evaluation of embeddings and LLMs for book retrieval in a Greek publishing context using the CUP dataset.
Multi-Task Learning for Heterogeneous Prediction from Video Game State with Transfer Learning
A study on multi-task learning for prediction from video game state data, focusing on team-based multiplayer games.
Unlearning Under Imbalance: Benchmarking Fairness in Multimodal LLM Unlearning
Introduction of FAIRGET, a benchmark for multimodal LLM unlearning fairness, and FAUN, an unlearning algorithm to preserve fairness.
AI Assistants Overassist
Research on LLM assistants as tutors, revealing they tend to over-assist by providing full solutions instead of hints, hindering deep learning.
SpaceX Starship Flight 13 livestream [video]
SpaceX is conducting its 13th Starship flight test, with the event being livestreamed via Hacker News.
SpaceX launches new V3 Starlink satellites but suffers another booster failure
SpaceX successfully launched new Starlink satellites but encountered a booster engine re-lighting failure during the Starship V3 flight.
Animation, Verification and Visualisation of Prolog Transition Systems with ProB
Researchers present updates to ProB, a Prolog-based model checker and animator, featuring improved state visualization and statistical simulation.
Chess\_db: A framework for working with large chess game datasets
Researchers introduce Chess_db, a logic programming suite for managing and querying large chess game datasets using key-value databases.
Case study: solving P-99 with LPTP and an LLM
A study demonstrates using Claude LLM to generate, test, and formally prove Prolog code for the Ninety-Nine Prolog Problems (P-99) set.
Declarative Problem Solving in UAM Strategic Deconfliction
A proposal uses Answer Set Programming (ASP) for strategic deconfliction in Urban Air Mobility to manage drone and air taxi traffic.
Towards a Certifying Grounder
Researchers introduce CertiFOX, a framework for certifying the grounding process in first-order logic model expansion.
Hybrid MKNF with Classical Negation in the Rule Component
A research paper explores extending Hybrid MKNF knowledge bases to support classical negation within the rule component.
Explainability Framework for Policy-Aware Autonomous Agents
A framework is proposed to provide explainable behavior for autonomous agents using Answer Set Programming and Python.
Explainable Belief Harmonization under Dynamic Epistemic Partitions
A formal framework is presented for managing multi-agent belief harmonization under dynamic changes in observational capacity.
How to Write a Quine
A discussion on the concept and implementation of quines, which are computer programs that take no input and produce a copy of their own source code as their only output.
GlucoTune: A Unified Framework for Blood Glucose Preprocessing, Forecasting, and Benchmarking in Diabetes
Introduction of GlucoTune, an extensible framework for preprocessing, forecasting, and benchmarking blood glucose time-series data for diabetes management.