1. X
  2. Artificial Intelligence Papers
Log inSign up
Artificial Intelligence Papers
28.6K posts
Image
user avatar
Artificial Intelligence Papers
@SciFi
New Artificial Intelligence papers from arxiv.org: expert systems, theorem proving. Thank you to arXiv for use of its open access interoperability.
arxiv.org/list/cs.AI/new
Joined May 2009
22
Following
20.8K
Followers
RepliesRepliesMediaMedia

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Jun 29, 2024
    IndoToxic2024: A Demographically-Enriched Dataset of Hate Speech and Toxicity Types for Indonesian Language. arxiv.org/abs/2406.19349
    19K019K
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    May 31, 2024
    KNOW: A Real-World Ontology for Knowledge Capture with Large Language Models. arxiv.org/abs/2405.19877
    5900590
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Jul 10, 2024
    Vision language models are blind.
    arXiv logo
    arxiv.org
    Vision language models are blind: Failing to translate detailed...
    While large language models with vision capabilities (VLMs), e.g., GPT-4o and Gemini 1.5 Pro, score high on many vision-understanding benchmarks, they are still struggling with low-level vision...
    1.8K01.8K
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    May 1, 2024
    Provably Robust Conformal Prediction with Improved Efficiency. arxiv.org/abs/2404.19651
    1.4K01.4K
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Oct 14, 2019
    NASS-AI: Towards Digitization of Parliamentary Bills using Document Level Embedding and Bidirectional Long Short-Term Memory. arxiv.org/abs/1910.04865
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Sep 6, 2024
    Large Language Models and Cognitive Science: A Comprehensive Review of Similarities, Differences, and Challenges.
    arXiv logo
    arxiv.org
    Large Language Models and Cognitive Science: A Comprehensive...
    This comprehensive review explores the intersection of Large Language Models (LLMs) and cognitive science, examining similarities and differences between LLMs and human cognitive processes. We...
    3850385
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Aug 10, 2023
    Neuro-Symbolic RDF and Description Logic Reasoners: The State-Of-The-Art and Challenges. arxiv.org/abs/2308.04814
    4900490
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Feb 14, 2020
    Ten Research Challenge Areas in Data Science. arxiv.org/abs/2002.05658
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Feb 4, 2020
    Interpretability of Blackbox Machine Learning Models through Dataview Extraction and Shadow Model creation. arxiv.org/abs/2002.00372
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Jul 23, 2024
    Thought-Like-Pro: Enhancing Reasoning of Large Language Models through Self-Driven Prolog-based Chain-of-Though.
    arXiv logo
    arxiv.org
    Thought-Like-Pro: Enhancing Reasoning of Large Language Models...
    Large language models (LLMs) have shown exceptional performance as general-purpose assistants, excelling across a variety of reasoning tasks. This achievement represents a significant step toward...
    4090409
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Sep 6, 2024
    Graph Retrieval Augmented Trustworthiness Reasoning. arxiv.org/abs/2408.12333
    2340234
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Aug 8, 2024
    miniCTX: Neural Theorem Proving with (Long-)Contexts.
    arXiv logo
    arxiv.org
    miniCTX: Neural Theorem Proving with (Long-)Contexts
    Real-world formal theorem proving often depends on a wealth of context, including definitions, lemmas, comments, file structure, and other information. We introduce miniCTX, which tests a model's...
    7990799
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Jul 27, 2024
    AgentKit: Structured LLM Reasoning with Dynamic Graphs.
    arXiv logo
    arxiv.org
    AgentKit: Structured LLM Reasoning with Dynamic Graphs
    We propose an intuitive LLM prompting framework (AgentKit) for multifunctional agents. AgentKit offers a unified framework for explicitly constructing a complex "thought process" from simple...
    1560156
  • user avatar
    Artificial Intelligence Papers
    @SciFi
    Jun 27, 2019
    Machine Learning Testing: Survey, Landscapes and Horizons. arxiv.org/abs/1906.10742
Advertisement
Advertisement