Results 101 to 110 of about 1,423 (254)
ABSTRACT We introduce the concept of subtle discrimination—biased acts that cannot be objectively ascertained as discriminatory. When candidates compete for promotions by investing in skills, firms' subtle biases induce discriminated candidates to overinvest when promotions are low‐stakes (to distinguish themselves from favored candidates) but ...
ELENA S. PIKULINA, DANIEL FERREIRA
wiley +1 more source
Agents' Behavior and Interest Rate Model Optimization in DeFi Lending
ABSTRACT Contrasting sharply with traditional money, bond, and bond futures markets, where interest rates emerge organically from participant interactions, DeFi lending platforms employ rule‐based interest rates that are algorithmically set. Thus, the selection of an effective interest rate model (IRM) is paramount for the success of a lending protocol.
Charles Bertucci +4 more
wiley +1 more source
Agent of deep reinforcement learning for multi‐objective arch dam shape design
Abstract Shape design is the dominant task of arch dam construction, involving significant computational costs. Conventional approaches are largely manual and experience driven. Though surrogate‐assisted methods accelerate the procedure, the reusable “optimization policy” is ignored.
Rui Liu +6 more
wiley +1 more source
Creating learning models that can exhibit sophisticated reasoning abilities is one of the greatest challenges in deep learning research, and mathematics is rapidly becoming one of the target domains for assessing scientific progress in this direction. In
Alberto Testolin
doaj +1 more source
ABSTRACT Within discussions of deliberative democracy, the role of facilitator is ever‐present: they gather participants, introduce expert information, correct for discursive prejudices, and more. Few recognize, however, that facilitators therefore exercise substantive, normative control over the process, thereby constituting a threat to the legitimacy
Emerson R. Bodde
wiley +1 more source
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers [PDF]
Daniel Kühlwein, Josef Urban
openalex +1 more source
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Sean B. Holden
openalex +2 more sources
Leadership in AI Terminology Governance: From Anomia to Agency
The current article examines the evolving relationship between leadership, artificial intelligence (AI), and language through the lens of structuration theory and critical discourse analysis's sensemaking theory. Through a content analysis of terminology governance practices across industries, we identify key leadership practices and opportunities to ...
Christine Haskell, Suzanne Joy Clark
wiley +1 more source
Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
Zoltán Kovács +3 more
openalex +2 more sources
Mirror symmetry, Laurent inversion, and the classification of Q$\mathbb {Q}$‐Fano threefolds
Abstract We describe recent progress in a program to understand the classification of three‐dimensional Fano varieties with Q$\mathbb {Q}$‐factorial terminal singularities using mirror symmetry. As part of this we give an improved and more conceptual understanding of Laurent inversion, a technique that sometimes allows one to construct a Fano variety X$
Tom Coates +2 more
wiley +1 more source

