In both federated learning (FL) and large language model (LLMs) optimization, a central challenge is effective learning under constraints, ranging from data heterogeneity and personalization to limited communication and black-box access.
-
04Aug
-
04Aug
*"It’s time. Time for digital security.": An End User Study on Actionable Security and Privacy Advice*
_Anna Lena Rotthaler_, Paderborn University
Anna Lena is a third-year PhD student whose research focuses on making security and privacy advice more usable for end users.
-
15Aug
The logic underlying the Lean programming language and theorem prover does not know recursive functions, yet Lean users can define functions recursively.
-
15Aug
The logic underlying the Lean programming language and theorem prover does not know recursive functions, yet Lean users can define functions recursively.
-
24Aug
Abstract not available
-
27Aug
sheaf
-
27Aug
sheaf
-
27Aug
sheaf
-
23Sep
Reliability is crucial for ensuring safe operation and optimizing efficiency in safety-critical applications. Fault-tolerant integrated circuits are central components of reliable microelectronic systems that manage safety-critical applications operating in harsh environments, including Space missions.
-
07Oct
We show that the perfect matching function on $n$-vertex graphs requires monotone circuits of size $2^{n^{\Omega(1)}}$. This improves on the $n^{\Omega(\log n)}$ lower bound of Razborov (1985). Our proof uses the standard approximation method together with a new sunflower lemma for matchings.