Cover Image

The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Latour, Anna L. D., Sen, Arunabha, Basu, Kaustav, Zhou, Chenyang, Meel, Kuldeep S.
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence I.2.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Anthem 2.0: Automated Reasoning for Answer Set Programming
by: Fandinno, Jorge, et al.
Published: (2025)

PC-SNN: Predictive Coding-based Local Hebbian Plasticity Learning in Spiking Neural Networks
by: Wang, Haidong, et al.
Published: (2022)

LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
by: Yadamsuren, Borchuluun, et al.
Published: (2025)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
by: Wang, Changjie, et al.
Published: (2025)

Earthfarseer: Versatile Spatio-Temporal Dynamical Systems Modeling in One Model
by: Wu, Hao, et al.
Published: (2023)

MIRAGE: Scaling Test-Time Inference with Parallel Graph-Retrieval-Augmented Reasoning Chains
by: Wei, Kaiwen, et al.
Published: (2025)

Making Logic a First-Class Citizen in Generative ML for Networking
by: Hè, Hongyu, et al.
Published: (2025)

Style2Code: A Style-Controllable Code Generation Framework with Dual-Modal Contrastive Representation Learning
by: Zhang, Dutao, et al.
Published: (2025)

Mechanized HOL Reasoning in Set Theory
by: Guilloud, Simon, et al.
Published: (2024)

On the Equivalence between Logic Programming and SETAF
by: Alcântara, João, et al.
Published: (2024)

When is the Computation of a Feature Attribution Method Tractable?
by: Barceló, P., et al.
Published: (2025)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
by: Arndt, Dörthe, et al.
Published: (2025)

CodeCompass: Navigating the Navigation Paradox in Agentic Code Intelligence
by: Paipuru, Tarakanath
Published: (2026)

Stalnaker's Epistemic Logic in Isabelle/HOL
by: Guzman, Laura P. Gamboa, et al.
Published: (2024)

Software Defined Vehicle Code Generation: A Few-Shot Prompting Approach
by: Nguyen, Quang-Dung, et al.
Published: (2025)

Reasoning and Planning with Dynamically Changing Norms
by: Olson, Taylor, et al.
Published: (2026)

Commenting Higher-level Code Unit: Full Code, Reduced Code, or Hierarchical Code Summarization
by: Sun, Weisong, et al.
Published: (2025)

Distilling Desired Comments for Enhanced Code Review with Large Language Models
by: Yu, Yongda, et al.
Published: (2024)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
by: Putra, Rizky Ramadhana, et al.
Published: (2026)

Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game
by: Li, Lixing
Published: (2026)

Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)

A Neurosymbolic Framework for Geometric Reduction of Binary Forms
by: Kotsireas, Ilias, et al.
Published: (2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
by: Akgün, Özgür, et al.
Published: (2022)

Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
by: Pareschi, Remo
Published: (2025)

ESALE: Enhancing Code-Summary Alignment Learning for Source Code Summarization
by: Fang, Chunrong, et al.
Published: (2024)

Non-Ground Congruence Closure
by: Leidinger, Hendrik, et al.
Published: (2024)

Robust Uncertainty Quantification for Factual Generation of Large Language Models
by: Zhang, Yuhao, et al.
Published: (2026)

DeepCodeProbe: Towards Understanding What Models Trained on Code Learn
by: Majdinasab, Vahid, et al.
Published: (2024)

Fine-Tuning LLMs to Analyze Multiple Dimensions of Code Review: A Maximum Entropy Regulated Long Chain-of-Thought Approach
by: Yu, Yongda, et al.
Published: (2025)

Enhancing LLM Code Generation Capabilities through Test-Driven Development and Code Interpreter
by: Jalil, Sajed, et al.
Published: (2025)

By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode
by: Vernie, Julius, et al.
Published: (2026)

GPT-4.1 Sets the Standard in Automated Experiment Design Using Novel Python Libraries
by: Fachada, Nuno, et al.
Published: (2025)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
by: Ceragioli, Leonardo, et al.
Published: (2025)

Trustworthiness Preservation by Copies of Machine Learning Systems
by: Ceragioli, Leonardo, et al.
Published: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
by: Ceragioli, Leonardo, et al.
Published: (2025)

Cryptogenic stroke and migraine: using probabilistic independence and machine learning to uncover latent sources of disease from the electronic health record
by: Betts, Joshua W., et al.
Published: (2025)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
by: Yang, Ziyi, et al.
Published: (2026)

Source Code Summarization in the Era of Large Language Models
by: Sun, Weisong, et al.
Published: (2024)

Memory Architectures for Multi-Turn Text-to-SQL: A Benchmark and Empirical Study
by: Tummalapenta, Ravi Kumar, et al.
Published: (2026)