v0.7.0
LLM inference in C/C++. Contribute to ggml-org/llama.cpp development by creating an account on GitHub.
llama.cpp11 min read
Journal of Artificial Intelligence Research Blog
Stay updated with the latest developments in Artificial Intelligence
Agents on live hardware: reason where you must, engineer everywhere else
CoreWeave Blog10 min read
b11669
llama.cpp1 min read
Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach
Background: Multi-modal logic has found many applications in computer science, also providing a framework to model temporal and spatial information. Reasoning in this logic is crucial in many real-world applications from different fields.
Journal of Artificial Intelligence Research Blog2 min readText-to-Image Models and Their Representation of People from Different Nationalities Engaging in Activities
This paper investigates how popular text-to-image (T2I) models, DALL-E 3 and Gemini 3 Pro Preview, depict people from 206 nationalities when prompted to generate images of individuals engaging in common everyday activities.
Journal of Artificial Intelligence Research Blog2 min readMulti-Hypothesis Distillation of Multilingual Neural Translation Models for Low-Resource Languages
This paper explores knowledge distillation (KD) of multilingual pre-trained encoder-decoder and large language models for machine translation (MT). We argue that the teacher model's output distribution holds valuable insights for the student, beyond the approximated mode obtained through beam…
Journal of Artificial Intelligence Research Blog1 min readOptimal Clustering with Dependent Costs in Bayesian Networks
Background: Clustering of nodes in Bayesian Networks (BNs) and related graphical models such as Dynamic BNs (DBNs) has been demonstrated to enhance computational efficiency and improve model learning.
Journal of Artificial Intelligence Research Blog2 min readCertified Neural Networks: from Verification to Synthesis
Neural networks find applications in many safety-critical systems that raise concerns about their deployment: Are we sure they never advise doing anything catastrophic?
Journal of Artificial Intelligence Research Blog2 min readHow to Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
Background: Modern SAT solvers are indispensable reasoning tools that are widely applied in verification, planning, and combinatorial design. Beyond answering satisfiability, they also produce unsatisfiability proofs, which are valuable for certification and analysis.
Journal of Artificial Intelligence Research Blog2 min readText Generation: A Systematic Literature Review of Tasks, Evaluation, and Challenges
Text generation has become more accessible than ever, and the growing interest in these systems, especially those using large language models, has spurred a surge in related publications.
Journal of Artificial Intelligence Research Blog1 min readHierarchy Generation and Exploitation for Enhanced Multi-Class Classification
Background: Hierarchical Classification (HC) has long been recognized for improving predictive performance by exploiting relationships between classes. However, most tabular multi-class datasets lack predefined class hierarchies, limiting the broader applicability of hierarchy-aware learning…
Journal of Artificial Intelligence Research Blog2 min readSymbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
Neuro-symbolic (NeSy) AI aims to develop deep neural networks whose predictions comply with prior knowledge encoding, e.g., safety or structural constraints. As such, it represents one of the most promising avenues for reliable and trustworthy AI.
Journal of Artificial Intelligence Research Blog2 min readSymbols and Neurons: A Review of Symbolic XAI in Deep Learning
Background: Deep neural networks increasingly power language, vision, and decision systems, yet many deployments require explanations that are faithful, compositional, and governance-ready.
Journal of Artificial Intelligence Research Blog2 min read
Showing 10 of 10 stories
You're all caught up.
AiByts Weekly Brief
Get the top AI news and tools straight to your inbox every week.
Weekly · AI news from Journal of Artificial Intelligence Research Blog
Join 15,000+ AI enthusiasts