:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Faghihi, Usef, Saki, Amir
Format:	Preprint
Published:	2022
Subjects:	Artificial Intelligence Logic in Computer Science 26A45, 6008, 68T37, 68T20, 68T27, 68U99 G.3; I.2.3
Online Access:	https://arxiv.org/abs/2208.06269
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Probabilistic Easy Variational Causal Effect
by: Faghihi, Usef, et al.
Published: (2024)

Integrating Fuzzy Logic with Causal Inference: Enhancing the Pearl and Neyman-Rubin Methodologies
by: Saki, Amir, et al.
Published: (2024)

FastGS: Training 3D Gaussian Splatting in 100 Seconds
by: Ren, Shiwei, et al.
Published: (2025)

SEGS-SLAM: Structure-enhanced 3D Gaussian Splatting SLAM with Appearance Embedding
by: Wen, Tianci, et al.
Published: (2025)

Thinking Machines: Mathematical Reasoning in the Age of LLMs
by: Asperti, Andrea, et al.
Published: (2025)

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
by: Berman, Shmuel, et al.
Published: (2024)

CLEV: LLM-Based Evaluation Through Lightweight Efficient Voting for Free-Form Question-Answering
by: Badshah, Sher, et al.
Published: (2025)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Superior Scoring Rules for Probabilistic Evaluation of Single-Label Multi-Class Classification Tasks
by: Ahmadian, Rouhollah, et al.
Published: (2024)

Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
by: Beliaeva, Aleksandra, et al.
Published: (2025)

IDOL: Instant Photorealistic 3D Human Creation from a Single Image
by: Zhuang, Yiyu, et al.
Published: (2024)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
by: Khan, Ishraq, et al.
Published: (2025)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
by: Buoncompagni, Luca, et al.
Published: (2024)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

From Prompting to Preference Optimization: A Comparative Study of LLM-based Automated Essay Scoring
by: Nguyen, Minh Hoang, et al.
Published: (2026)

Adversarial Patch Attacks on Vision-Based Cargo Occupancy Estimation via Differentiable 3D Simulation
by: Hedna, Mohamed Rissal, et al.
Published: (2025)

JAM: Controllable and Responsible Text Generation via Causal Reasoning and Latent Vector Manipulation
by: Huang, Yingbing, et al.
Published: (2025)

A Reproducible, Scalable Pipeline for Synthesizing Autoregressive Model Literature
by: Alpay, Faruk, et al.
Published: (2025)

ARCADIA: Scalable Causal Discovery for Corporate Bankruptcy Analysis Using Agentic AI
by: Maturo, Fabrizio, et al.
Published: (2025)

LLM-supported document separation for printed reviews from zbMATH Open
by: Pluzhnikov, Ivan, et al.
Published: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

Ice Cream Doesn't Cause Drowning: Benchmarking LLMs Against Statistical Pitfalls in Causal Inference
by: Du, Jin, et al.
Published: (2025)

Automated but Atrophied? Student Over-Reliance vs Expert Augmentation of AI in Learning and Cybersecurity
by: Khan, Koffka
Published: (2025)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
by: Liu, Bowen, et al.
Published: (2026)

FLoD: Integrating Flexible Level of Detail into 3D Gaussian Splatting for Customizable Rendering
by: Seo, Yunji, et al.
Published: (2024)

Unraveling Media Perspectives: A Comprehensive Methodology Combining Large Language Models, Topic Modeling, Sentiment Analysis, and Ontology Learning to Analyse Media Bias
by: Jähde, Orlando, et al.
Published: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Image-based Facial Rig Inversion
by: Yang, Tianxiang, et al.
Published: (2025)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Learning Symbolic Task Representation from a Human-Led Demonstration: A Memory to Store, Retrieve, Consolidate, and Forget Experiences
by: Buoncompagni, Luca, et al.
Published: (2024)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
by: Potanin, Alex
Published: (2026)

$ϕ^{\infty}$: Clause Purification, Embedding Realignment, and the Total Suppression of the Em Dash in Autoregressive Language Models
by: Kilictas, Bugra, et al.
Published: (2025)

SQUARE: Semantic Query-Augmented Fusion and Efficient Batch Reranking for Training-free Zero-Shot Composed Image Retrieval
by: Wu, Ren-Di, et al.
Published: (2025)

A Reduction of Input/Output Logics to SAT
by: Steen, Alexander
Published: (2025)

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic
by: De Smet, Lennert, et al.
Published: (2024)

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)
by: Roos, Nico
Published: (2024)

Biomedical Visual Instruction Tuning with Clinician Preference Alignment
by: Cui, Hejie, et al.
Published: (2024)

G-Sim: Generative Simulations with Large Language Models and Gradient-Free Calibration
by: Holt, Samuel, et al.
Published: (2025)

ORPHEAS: A Cross-Lingual Greek-English Embedding Model for Retrieval-Augmented Generation
by: Livieris, Ioannis E., et al.
Published: (2026)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
by: Camlin, Jeffrey
Published: (2025)