Christoph Weinhuber
YOU?
Author Swipe
View article: Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis Open
Recently, the Manna-Pnueli Hierarchy has been used to define the temporal logics LTLfp and PPLTLp, which allow to use finite-trace LTLf/PPLTL techniques in infinite-trace settings while achieving the expressiveness of full LTL. In this pap…
View article: Explaining Control Policies through Predicate Decision Diagrams
Explaining Control Policies through Predicate Decision Diagrams Open
Safety-critical controllers of complex systems are hard to construct manually. Automated approaches such as controller synthesis or learning provide a tempting alternative but usually lack explainability. To this end, learning decision tre…
View article: Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges Open
Some of the most powerful language models currently are proprietary systems, accessible only via (typically restrictive) web or software programming interfaces. This is the LanguageModels-as-a-Service (LMaaS) paradigm. In contrast with sce…
View article: Code Simulation as a Proxy for High-order Tasks in Large Language Models
Code Simulation as a Proxy for High-order Tasks in Large Language Models Open
Many reasoning, planning, and problem-solving tasks share an intrinsic algorithmic nature: correctly simulating each step is a sufficient condition to solve them correctly. We collect pairs of naturalistic and synthetic reasoning tasks to …
View article: Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges Open
Some of the most powerful language models currently are proprietary systems, accessible only via (typically restrictive) web or software programming interfaces. This is the LanguageModels-as-a-Service (LMaaS) paradigm. In contrast with sce…
View article: Code Simulation Challenges for Large Language Models
Code Simulation Challenges for Large Language Models Open
Many reasoning, planning, and problem-solving tasks share an intrinsic algorithmic nature: correctly simulating each step is a sufficient condition to solve them correctly. This work studies to what extent Large Language Models (LLMs) can …
View article: Federated Learning with Swift: An Extension of Flower and Performance Evaluation
Federated Learning with Swift: An Extension of Flower and Performance Evaluation Open
Federated learning (FL) enables the optimization of machine learning models on distributed clients without sharing local data. The integration of FL into a mobile environment is becoming more feasible due to increasing on-device processing…
View article: Language Models as a Service: Overview of a New Paradigm and its Challenges
Language Models as a Service: Overview of a New Paradigm and its Challenges Open
Some of the most powerful language models currently are proprietary systems, accessible only via (typically restrictive) web or software programming interfaces. This is the Language-Models-as-a-Service (LMaaS) paradigm. In contrast with sc…
View article: Is Online Teaching Dead After COVID-19? Student Preferences for Programming Courses
Is Online Teaching Dead After COVID-19? Student Preferences for Programming Courses Open
The COVID-19 pandemic precipitated an unprecedented paradigm shift in higher education, compelling swift adaptation to online teaching methods. Consequently, the merits of remote education, including increased flexibility and geographic in…