Recent advancements in large language models have showcased their remarkable generalizability across various domains. However, their reasoning abilities still have significant room for improvement, especially when con...
详细信息
Large language models (LLMs) have proficiently solved a broad range of tasks withtheir rich knowledge but often struggle withlogical reasoning. To foster the research on logical reasoning, many benchmarks have been ...
详细信息
Word embeddings revolutionised natural language processing by effectively representing words as dense vectors. Although many datasets exist to evaluate English embeddings, few cater to Dutch. We developed a Dutch vari...
详细信息
We introduce Gramble, a domain-specific programming language for linguistic parsing and generation, in the tradition of XFST, TWOLC, and Kleene. Gramble features an intuitive tabular syntax and supports live group pro...
详细信息
In project scheduling, calendar considerations can increase the duration of a task when its execution overlaps with holidays. On the other hand, the use of overtime may decrease the task's duration. We introduce t...
详细信息
Controlled Text Generation (CTG) steers the generation of continuations of a given context (prompt) by a Large Language Model (LLM) towards texts possessing a given attribute (e.g., topic, sentiment). In this paper we...
详细信息
this study investigates the use of hypercomplex neural networks (HNNs) for balancing control of a four-legged robot. HNNs use advanced mathematical constructs to capture multidimensional data and model the complex dyn...
详细信息
the architecture of a computer determines what programs are allowed to do and what the microarchitecture should implement. As security and safety become critical needs for an emergent class of highly-connected devices...
详细信息
ISBN:
(数字)9781665490054
ISBN:
(纸本)9781665490054
the architecture of a computer determines what programs are allowed to do and what the microarchitecture should implement. As security and safety become critical needs for an emergent class of highly-connected devices, the way computations are performed becomes a central concern, as it can directly allow or hamper the development of malicious software. In this work we investigate functional programming as an alternative foundation for computer architectures, starting from a formal calculus of structured combinators up to its implications on software and hardware design, resulting in the open-source, purely-functional fun instruction-set architecture.
the need for massively parallel algorithms, suitable to exploit the computational power of hardware such as graphics processing units, is ever increasing. In this paper, we propose a new algorithm for the on-the-fly v...
详细信息
ISBN:
(纸本)9783031572487;9783031572494
the need for massively parallel algorithms, suitable to exploit the computational power of hardware such as graphics processing units, is ever increasing. In this paper, we propose a new algorithm for the on-the-fly verification of Linear-Time Temporal logic (LTL) formulae [45] that is aimed at running on such devices. We prove its correctness and termination guarantee, and experimentally compare a GPU implementation with state-of-the-art LTL model checkers. Our new GPU LTLchecking algorithm is up to 150x faster on proving the correctness of a system than LTSmin running on a 32-core high-end CPU, and is more economic in using the available memory.
this paper explores the application of Maximum Satisfiability (Max-SAT) to the complex problem of conference session scheduling, with a particular focus on minimizing working-group conflicts within the context of the ...
详细信息
暂无评论