Related papers: Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications

Related papers

A Practical Guide to Streaming Continual Learning [53.995807801604506]
Continual Learning (CL) and Streaming Machine Learning () study the ability of agents to learn from a stream of non-stationary data.<n>Despite sharing some similarities, they address different and complementary challenges.<n>We discuss Streaming Continual Learning (SCL), an emerging paradigm providing a unifying solution to real-world problems.
arXiv Detail & Related papers (2026-03-02T10:06:34Z)
The 1st International Workshop on Disentangled Representation Learning for Controllable Generation (DRL4Real): Methods and Results [132.86866727471093]
This paper reviews the 1st International Workshop on Disentangled Representation Learning for Controllable Generation (DRL4Real), held in conjunction with ICCV 2025.<n>DRL4Real focused on evaluating DRL methods in practical applications such as controllable generation, exploring advancements in model robustness, interpretability, and generalization.<n>The workshop accepted 9 papers covering a broad range of topics, including the integration of novel inductive biases (e.g., language), the application of diffusion models to DRL, 3D-aware disentanglement, and the expansion of DRL into specialized domains like autonomous driving and EEG analysis.
arXiv Detail & Related papers (2025-08-15T16:35:41Z)
Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications [0.0]
ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system.<n> ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers.
arXiv Detail & Related papers (2025-07-24T16:42:15Z)
Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry [68.72590517877455]
We present the outcomes from the second Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry. The event engaged participants across global hybrid locations, resulting in 34 team submissions. The submissions spanned seven key application areas and demonstrated the diverse utility of LLMs for applications.
arXiv Detail & Related papers (2024-11-20T23:08:01Z)
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis [0.6649753747542209]
LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.
arXiv Detail & Related papers (2024-04-21T14:22:53Z)
Recent Advances, Applications, and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2023 Symposium [71.81297744767885]
Third ML4H symposium was held in person on December 10, 2023, in New Orleans, Louisiana, USA. We organized eleven in-person roundtables and four virtual roundtables at ML4H 2022. This document serves as a comprehensive review paper, summarizing the recent advancements in machine learning for healthcare.
arXiv Detail & Related papers (2024-03-03T22:21:58Z)
CLIP in Medical Imaging: A Comprehensive Survey [59.429714742927956]
Contrastive Language-Image Pre-training successfully introduces text supervision to vision models. It has shown promising results across various tasks, attributable to its generalizability and interpretability. Use of CLIP has recently gained increasing interest in the medical imaging domain.
arXiv Detail & Related papers (2023-12-12T15:21:57Z)
Summary of the 4th International Workshop on Requirements Engineering and Testing (RET 2017) [13.648461211584717]
The 4th workshop was co-located with the 25th International Requirements Engineering Conference (RE'17) in Lisbon, Portugal. In line with the previous workshop instances, RET 2017 o ered an interactive setting with a keynote, an invited talk, paper presentations, and a concluding hands-on exercise.
arXiv Detail & Related papers (2023-08-29T06:47:44Z)
Proceedings 39th International Conference on Logic Programming [53.44544554999452]
This volume includes the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023) Main Track, the Doctoral Consortium, the Application and Systems/Demo track, the Birds-of-a-Feather track, the Thematic Tracks on Logic Programming and Machine Learning, and Logic Programming and Explainability, Ethics, and Trustworthiness.
arXiv Detail & Related papers (2023-08-28T20:46:59Z)
A Survey on In-context Learning [77.78614055956365]
In-context learning (ICL) has emerged as a new paradigm for natural language processing (NLP) We first present a formal definition of ICL and clarify its correlation to related studies. We then organize and discuss advanced techniques, including training strategies, prompt designing strategies, and related analysis.
arXiv Detail & Related papers (2022-12-31T15:57:09Z)
Challenges and Applications of Automated Extraction of Socio-political Events from Text (CASE 2022): Workshop and Shared Task Report [1.9964848378974727]
We provide a summary of the fifth edition of the CASE workshop that is held in the scope of EMNLP 2022. This workshop has been bringing together all aspects of event information collection across technical and social science fields. In addition to the progress in depth, the submission and acceptance of multimodal approaches show the widening of this interdisciplinary research topic.
arXiv Detail & Related papers (2022-11-21T11:22:32Z)
Proceedings End-to-End Compositional Models of Vector-Based Semantics [0.0]
The workshop was sponsored by the research project 'A composition calculus for vector-based semantic modelling with a localization for Dutch' The present volume collects the contributed papers and the abstracts of the invited talks.
arXiv Detail & Related papers (2022-08-10T12:50:12Z)
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications [0.0]
This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020) The workshops are the premier technical forum for presenting research and experiences related to ACL2.
arXiv Detail & Related papers (2020-09-26T05:19:33Z)
Learning with Multiple Complementary Labels [94.8064553345801]
A complementary label (CL) simply indicates an incorrect class of an example, but learning with CLs results in multi-class classifiers. We propose a novel problem setting to allow MCLs for each example and two ways for learning with MCLs.
arXiv Detail & Related papers (2019-12-30T13:50:51Z)

This list is automatically generated from the titles and abstracts of the papers in this site.