@inproceedings{14218, abstract = {Humans naturally decompose their environment into entities at the appropriate level of abstraction to act in the world. Allowing machine learning algorithms to derive this decomposition in an unsupervised way has become an important line of research. However, current methods are restricted to simulated data or require additional information in the form of motion or depth in order to successfully discover objects. In this work, we overcome this limitation by showing that reconstructing features from models trained in a self-supervised manner is a sufficient training signal for object-centric representations to arise in a fully unsupervised way. Our approach, DINOSAUR, significantly out-performs existing image-based object-centric learning models on simulated data and is the first unsupervised object-centric model that scales to real-world datasets such as COCO and PASCAL VOC. DINOSAUR is conceptually simple and shows competitive performance compared to more involved pipelines from the computer vision literature.}, author = {Seitzer, Maximilian and Horn, Max and Zadaianchuk, Andrii and Zietlow, Dominik and Xiao, Tianjun and Carl-Johann Simon-Gabriel, Carl-Johann Simon-Gabriel and He, Tong and Zhang, Zheng and Schölkopf, Bernhard and Brox, Thomas and Locatello, Francesco}, booktitle = {The 11th International Conference on Learning Representations}, location = {Kigali, Rwanda}, title = {{Bridging the gap to real-world object-centric learning}}, year = {2023}, } @inproceedings{14219, abstract = {In this paper, we show that recent advances in self-supervised feature learning enable unsupervised object discovery and semantic segmentation with a performance that matches the state of the field on supervised semantic segmentation 10 years ago. We propose a methodology based on unsupervised saliency masks and self-supervised feature clustering to kickstart object discovery followed by training a semantic segmentation network on pseudo-labels to bootstrap the system on images with multiple objects. We present results on PASCAL VOC that go far beyond the current state of the art (50.0 mIoU), and we report for the first time results on MS COCO for the whole set of 81 classes: our method discovers 34 categories with more than $20\%$ IoU, while obtaining an average IoU of 19.6 for all 81 categories.}, author = {Zadaianchuk, Andrii and Kleindessner, Matthaeus and Zhu, Yi and Locatello, Francesco and Brox, Thomas}, booktitle = {The 11th International Conference on Learning Representations}, location = {Kigali, Rwanda}, title = {{Unsupervised semantic segmentation with self-supervised object-centric representations}}, year = {2023}, } @inproceedings{14222, abstract = {Learning generative object models from unlabelled videos is a long standing problem and required for causal scene modeling. We decompose this problem into three easier subtasks, and provide candidate solutions for each of them. Inspired by the Common Fate Principle of Gestalt Psychology, we first extract (noisy) masks of moving objects via unsupervised motion segmentation. Second, generative models are trained on the masks of the background and the moving objects, respectively. Third, background and foreground models are combined in a conditional "dead leaves" scene model to sample novel scene configurations where occlusions and depth layering arise naturally. To evaluate the individual stages, we introduce the Fishbowl dataset positioned between complex real-world scenes and common object-centric benchmarks of simplistic objects. We show that our approach allows learning generative models that generalize beyond the occlusions present in the input videos, and represent scenes in a modular fashion that allows sampling plausible scenes outside the training distribution by permitting, for instance, object numbers or densities not observed in the training set.}, author = {Tangemann, Matthias and Schneider, Steffen and Kügelgen, Julius von and Locatello, Francesco and Gehler, Peter and Brox, Thomas and Kümmerer, Matthias and Bethge, Matthias and Schölkopf, Bernhard}, booktitle = {2nd Conference on Causal Learning and Reasoning}, location = {Tübingen, Germany}, title = {{Unsupervised object learning via common fate}}, year = {2023}, } @phdthesis{14226, abstract = {We introduce the notion of a Faustian interchange in a 1-parameter family of smooth functions to generalize the medial axis to critical points of index larger than 0. We construct and implement a general purpose algorithm for approximating such generalized medial axes.}, author = {Stephenson, Elizabeth R}, issn = {2791-4585}, pages = {43}, publisher = {Institute of Science and Technology Austria}, title = {{Generalizing medial axes with homology switches}}, doi = {10.15479/at:ista:14226}, year = {2023}, } @article{14238, abstract = {We demonstrate that a sodium dimer, Na2(13Σ+u), residing on the surface of a helium nanodroplet, can be set into rotation by a nonresonant 1.0 ps infrared laser pulse. The time-dependent degree of alignment measured, exhibits a periodic, gradually decreasing structure that deviates qualitatively from that expected for gas-phase dimers. Comparison to alignment dynamics calculated from the time-dependent rotational Schrödinger equation shows that the deviation is due to the alignment dependent interaction between the dimer and the droplet surface. This interaction confines the dimer to the tangential plane of the droplet surface at the point where it resides and is the reason that the observed alignment dynamics is also well described by a 2D quantum rotor model.}, author = {Kranabetter, Lorenz and Kristensen, Henrik H. and Ghazaryan, Areg and Schouder, Constant A. and Chatterley, Adam S. and Janssen, Paul and Jensen, Frank and Zillich, Robert E. and Lemeshko, Mikhail and Stapelfeldt, Henrik}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {5}, publisher = {American Physical Society}, title = {{Nonadiabatic laser-induced alignment dynamics of molecules on a surface}}, doi = {10.1103/PhysRevLett.131.053201}, volume = {131}, year = {2023}, } @article{14239, abstract = {Given a resolution of rational singularities π:X~→X over a field of characteristic zero, we use a Hodge-theoretic argument to prove that the image of the functor Rπ∗:Db(X~)→Db(X) between bounded derived categories of coherent sheaves generates Db(X) as a triangulated category. This gives a weak version of the Bondal–Orlov localization conjecture [BO02], answering a question from [PS21]. The same result is established more generally for proper (not necessarily birational) morphisms π:X~→X , with X~ smooth, satisfying Rπ∗(OX~)=OX .}, author = {Mauri, Mirko and Shinder, Evgeny}, issn = {2050-5094}, journal = {Forum of Mathematics, Sigma}, publisher = {Cambridge University Press}, title = {{Homological Bondal-Orlov localization conjecture for rational singularities}}, doi = {10.1017/fms.2023.65}, volume = {11}, year = {2023}, } @article{14240, abstract = {This paper introduces a novel method for simulating large bodies of water as a height field. At the start of each time step, we partition the waves into a bulk flow (which approximately satisfies the assumptions of the shallow water equations) and surface waves (which approximately satisfy the assumptions of Airy wave theory). We then solve the two wave regimes separately using appropriate state-of-the-art techniques, and re-combine the resulting wave velocities at the end of each step. This strategy leads to the first heightfield wave model capable of simulating complex interactions between both deep and shallow water effects, like the waves from a boat wake sloshing up onto a beach, or a dam break producing wave interference patterns and eddies. We also analyze the numerical dispersion created by our method and derive an exact correction factor for waves at a constant water depth, giving us a numerically perfect re-creation of theoretical water wave dispersion patterns.}, author = {Jeschke, Stefan and Wojtan, Christopher J}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, number = {4}, publisher = {Association for Computing Machinery}, title = {{Generalizing shallow water simulations with dispersive surface waves}}, doi = {10.1145/3592098}, volume = {42}, year = {2023}, } @inproceedings{14241, abstract = {We present a technique to optimize the reflectivity of a surface while preserving its overall shape. The naïve optimization of the mesh vertices using the gradients of reflectivity simulations results in undesirable distortion. In contrast, our robust formulation optimizes the surface normal as an independent variable that bridges the reflectivity term with differential rendering, and the regularization term with as-rigid-as-possible elastic energy. We further adaptively subdivide the input mesh to improve the convergence. Consequently, our method can minimize the retroreflectivity of a wide range of input shapes, resulting in sharply creased shapes ubiquitous among stealth aircraft and Sci-Fi vehicles. Furthermore, by changing the reward for the direction of the outgoing light directions, our method can be applied to other reflectivity design tasks, such as the optimization of architectural walls to concentrate light in a specific region. We have tested the proposed method using light-transport simulations and real-world 3D-printed objects.}, author = {Tojo, Kenji and Shamir, Ariel and Bickel, Bernd and Umetani, Nobuyuki}, booktitle = {SIGGRAPH 2023 Conference Proceedings}, isbn = {9798400701597}, location = {Los Angeles, CA, United States}, publisher = {Association for Computing Machinery}, title = {{Stealth shaper: Reflectivity optimization as surface stylization}}, doi = {10.1145/3588432.3591542}, year = {2023}, } @inproceedings{14242, abstract = {We study the problem of training and certifying adversarially robust quantized neural networks (QNNs). Quantization is a technique for making neural networks more efficient by running them using low-bit integer arithmetic and is therefore commonly adopted in industry. Recent work has shown that floating-point neural networks that have been verified to be robust can become vulnerable to adversarial attacks after quantization, and certification of the quantized representation is necessary to guarantee robustness. In this work, we present quantization-aware interval bound propagation (QA-IBP), a novel method for training robust QNNs. Inspired by advances in robust learning of non-quantized networks, our training algorithm computes the gradient of an abstract representation of the actual network. Unlike existing approaches, our method can handle the discrete semantics of QNNs. Based on QA-IBP, we also develop a complete verification procedure for verifying the adversarial robustness of QNNs, which is guaranteed to terminate and produce a correct answer. Compared to existing approaches, the key advantage of our verification procedure is that it runs entirely on GPU or other accelerator devices. We demonstrate experimentally that our approach significantly outperforms existing methods and establish the new state-of-the-art for training and certifying the robustness of QNNs.}, author = {Lechner, Mathias and Zikelic, Dorde and Chatterjee, Krishnendu and Henzinger, Thomas A and Rus, Daniela}, booktitle = {Proceedings of the 37th AAAI Conference on Artificial Intelligence}, isbn = {9781577358800}, location = {Washington, DC, United States}, number = {12}, pages = {14964--14973}, publisher = {Association for the Advancement of Artificial Intelligence}, title = {{Quantization-aware interval bound propagation for training certifiably robust quantized neural networks}}, doi = {10.1609/aaai.v37i12.26747}, volume = {37}, year = {2023}, } @inproceedings{14243, abstract = {Two-player zero-sum "graph games" are central in logic, verification, and multi-agent systems. The game proceeds by placing a token on a vertex of a graph, and allowing the players to move it to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the players alternate turns in moving the token. In "bidding games", however, the players have budgets and in each turn, an auction (bidding) determines which player moves the token. So far, bidding games have only been studied as full-information games. In this work we initiate the study of partial-information bidding games: we study bidding games in which a player's initial budget is drawn from a known probability distribution. We show that while for some bidding mechanisms and objectives, it is straightforward to adapt the results from the full-information setting to the partial-information setting, for others, the analysis is significantly more challenging, requires new techniques, and gives rise to interesting results. Specifically, we study games with "mean-payoff" objectives in combination with "poorman" bidding. We construct optimal strategies for a partially-informed player who plays against a fully-informed adversary. We show that, somewhat surprisingly, the "value" under pure strategies does not necessarily exist in such games.}, author = {Avni, Guy and Jecker, Ismael R and Zikelic, Dorde}, booktitle = {Proceedings of the 37th AAAI Conference on Artificial Intelligence}, isbn = {9781577358800}, location = {Washington, DC, United States}, number = {5}, pages = {5464--5471}, title = {{Bidding graph games with partially-observable budgets}}, doi = {10.1609/aaai.v37i5.25679}, volume = {37}, year = {2023}, } @article{14244, abstract = {In this paper, we determine the motivic class — in particular, the weight polynomial and conjecturally the Poincaré polynomial — of the open de Rham space, defined and studied by Boalch, of certain moduli spaces of irregular meromorphic connections on the trivial rank bundle on P1. The computation is by motivic Fourier transform. We show that the result satisfies the purity conjecture, that is, it agrees with the pure part of the conjectured mixed Hodge polynomial of the corresponding wild character variety. We also identify the open de Rham spaces with quiver varieties with multiplicities of Yamakawa and Geiss–Leclerc–Schröer. We finish with constructing natural complete hyperkähler metrics on them, which in the four-dimensional cases are expected to be of type ALF.}, author = {Hausel, Tamás and Wong, Michael Lennox and Wyss, Dimitri}, issn = {1460-244X}, journal = {Proceedings of the London Mathematical Society}, number = {4}, pages = {958--1027}, publisher = {Wiley}, title = {{Arithmetic and metric aspects of open de Rham spaces}}, doi = {10.1112/plms.12555}, volume = {127}, year = {2023}, } @article{14245, abstract = {We establish effective counting results for lattice points in families of domains in real, complex and quaternionic hyperbolic spaces of any dimension. The domains we focus on are defined as product sets with respect to an Iwasawa decomposition. Several natural diophantine problems can be reduced to counting lattice points in such domains. These include equidistribution of the ratio of the length of the shortest solution (x,y) to the gcd equation bx−ay=1 relative to the length of (a,b), where (a,b) ranges over primitive vectors in a disc whose radius increases, the natural analog of this problem in imaginary quadratic number fields, as well as equidistribution of integral solutions to the diophantine equation defined by an integral Lorentz form in three or more variables. We establish an effective rate of convergence for these equidistribution problems, depending on the size of the spectral gap associated with a suitable lattice subgroup in the isometry group of the relevant hyperbolic space. The main result underlying our discussion amounts to establishing effective joint equidistribution for the horospherical component and the radial component in the Iwasawa decomposition of lattice elements.}, author = {Horesh, Tal and Nevo, Amos}, issn = {1945-5844}, journal = {Pacific Journal of Mathematics}, number = {2}, pages = {265--294}, publisher = {Mathematical Sciences Publishers}, title = {{Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution}}, doi = {10.2140/pjm.2023.324.265}, volume = {324}, year = {2023}, } @article{14246, abstract = {The model of a ring threaded by the Aharonov-Bohm flux underlies our understanding of a coupling between gauge potentials and matter. The typical formulation of the model is based upon a single particle picture, and should be extended when interactions with other particles become relevant. Here, we illustrate such an extension for a particle in an Aharonov-Bohm ring subject to interactions with a weakly interacting Bose gas. We show that the ground state of the system can be described using the Bose-polaron concept—a particle dressed by interactions with a bosonic environment. We connect the energy spectrum to the effective mass of the polaron, and demonstrate how to change currents in the system by tuning boson-particle interactions. Our results suggest the Aharonov-Bohm ring as a platform for studying coherence and few- to many-body crossover of quasi-particles that arise from an impurity immersed in a medium.}, author = {Brauneis, Fabian and Ghazaryan, Areg and Hammer, Hans-Werner and Volosniev, Artem}, issn = {2399-3650}, journal = {Communications Physics}, keywords = {General Physics and Astronomy}, publisher = {Springer Nature}, title = {{Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux}}, doi = {10.1038/s42005-023-01281-2}, volume = {6}, year = {2023}, } @article{14253, abstract = {Junctions between the endoplasmic reticulum (ER) and the plasma membrane (PM) are specialized membrane contacts ubiquitous in eukaryotic cells. Concentration of intracellular signaling machinery near ER-PM junctions allows these domains to serve critical roles in lipid and Ca2+ signaling and homeostasis. Subcellular compartmentalization of protein kinase A (PKA) signaling also regulates essential cellular functions, however, no specific association between PKA and ER-PM junctional domains is known. Here, we show that in brain neurons type I PKA is directed to Kv2.1 channel-dependent ER-PM junctional domains via SPHKAP, a type I PKA-specific anchoring protein. SPHKAP association with type I PKA regulatory subunit RI and ER-resident VAP proteins results in the concentration of type I PKA between stacked ER cisternae associated with ER-PM junctions. This ER-associated PKA signalosome enables reciprocal regulation between PKA and Ca2+ signaling machinery to support Ca2+ influx and excitation-transcription coupling. These data reveal that neuronal ER-PM junctions support a receptor-independent form of PKA signaling driven by membrane depolarization and intracellular Ca2+, allowing conversion of information encoded in electrical signals into biochemical changes universally recognized throughout the cell.}, author = {Vierra, Nicholas C. and Ribeiro-Silva, Luisa and Kirmiz, Michael and Van Der List, Deborah and Bhandari, Pradeep and Mack, Olivia A. and Carroll, James and Le Monnier, Elodie and Aicher, Sue A. and Shigemoto, Ryuichi and Trimmer, James S.}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling}}, doi = {10.1038/s41467-023-40930-6}, volume = {14}, year = {2023}, } @article{14254, abstract = {In [10] Nam proved a Lieb–Thirring Inequality for the kinetic energy of a fermionic quantum system, with almost optimal (semi-classical) constant and a gradient correction term. We present a stronger version of this inequality, with a much simplified proof. As a corollary we obtain a simple proof of the original Lieb–Thirring inequality.}, author = {Seiringer, Robert and Solovej, Jan Philip}, issn = {1096-0783}, journal = {Journal of Functional Analysis}, number = {10}, publisher = {Elsevier}, title = {{A simple approach to Lieb-Thirring type inequalities}}, doi = {10.1016/j.jfa.2023.110129}, volume = {285}, year = {2023}, } @article{14255, abstract = {Toscana virus is a major cause of arboviral disease in humans in the Mediterranean basin during summer. However, early virus-host cell interactions and entry mechanisms remain poorly characterized. Investigating iPSC-derived human neurons and cell lines, we found that virus binding to the cell surface was specific, and 50% of bound virions were endocytosed within 10 min. Virions entered Rab5a+ early endosomes and, subsequently, Rab7a+ and LAMP-1+ late endosomal compartments. Penetration required intact late endosomes and occurred within 30 min following internalization. Virus entry relied on vacuolar acidification, with an optimal pH for viral membrane fusion at pH 5.5. The pH threshold increased to 5.8 with longer pre-exposure of virions to the slightly acidic pH in early endosomes. Strikingly, the particles remained infectious after entering late endosomes with a pH below the fusion threshold. Overall, our study establishes Toscana virus as a late-penetrating virus and reveals an atypical use of vacuolar acidity by this virus to enter host cells.}, author = {Koch, Jana and Xin, Qilin and Obr, Martin and Schäfer, Alicia and Rolfs, Nina and Anagho, Holda A. and Kudulyte, Aiste and Woltereck, Lea and Kummer, Susann and Campos, Joaquin and Uckeley, Zina M. and Bell-Sakyi, Lesley and Kräusslich, Hans Georg and Schur, Florian Km and Acuna, Claudio and Lozach, Pierre Yves}, issn = {1553-7374}, journal = {PLoS Pathogens}, number = {8}, publisher = {Public Library of Science}, title = {{The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells}}, doi = {10.1371/journal.ppat.1011562}, volume = {19}, year = {2023}, } @article{14256, abstract = {Context. Space asteroseismology is revolutionizing our knowledge of the internal structure and dynamics of stars. A breakthrough is ongoing with the recent discoveries of signatures of strong magnetic fields in the core of red giant stars. The key signature for such a detection is the asymmetry these fields induce in the frequency splittings of observed dipolar mixed gravito-acoustic modes. Aims. We investigate the ability of the observed asymmetries of the frequency splittings of dipolar mixed modes to constrain the geometrical properties of deep magnetic fields. Methods. We used the powerful analytical Racah-Wigner algebra used in quantum mechanics to characterize the geometrical couplings of dipolar mixed oscillation modes with various realistically plausible topologies of fossil magnetic fields. We also computed the induced perturbation of their frequencies. Results. First, in the case of an oblique magnetic dipole, we provide the exact analytical expression of the asymmetry as a function of the angle between the rotation and magnetic axes. Its value provides a direct measure of this angle. Second, considering a combination of axisymmetric dipolar and quadrupolar fields, we show how the asymmetry is blind to the unraveling of the relative strength and sign of each component. Finally, in the case of a given multipole, we show that a negative asymmetry is a signature of non-axisymmetric topologies. Conclusions. Asymmetries of dipolar mixed modes provide a key bit of information on the geometrical topology of deep fossil magnetic fields, but this is insufficient on its own. Asteroseismic constraints should therefore be combined with spectropolarimetric observations and numerical simulations, which aim to predict the more probable stable large-scale geometries.}, author = {Mathis, S. and Bugnet, Lisa Annabelle}, issn = {1432-0746}, journal = {Astronomy and Astrophysics}, publisher = {EDP Sciences}, title = {{Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields}}, doi = {10.1051/0004-6361/202346832}, volume = {676}, year = {2023}, } @article{14257, abstract = {Mapping the complex and dense arrangement of cells and their connectivity in brain tissue demands nanoscale spatial resolution imaging. Super-resolution optical microscopy excels at visualizing specific molecules and individual cells but fails to provide tissue context. Here we developed Comprehensive Analysis of Tissues across Scales (CATS), a technology to densely map brain tissue architecture from millimeter regional to nanometer synaptic scales in diverse chemically fixed brain preparations, including rodent and human. CATS uses fixation-compatible extracellular labeling and optical imaging, including stimulated emission depletion or expansion microscopy, to comprehensively delineate cellular structures. It enables three-dimensional reconstruction of single synapses and mapping of synaptic connectivity by identification and analysis of putative synaptic cleft regions. Applying CATS to the mouse hippocampal mossy fiber circuitry, we reconstructed and quantified the synaptic input and output structure of identified neurons. We furthermore demonstrate applicability to clinically derived human tissue samples, including formalin-fixed paraffin-embedded routine diagnostic specimens, for visualizing the cellular architecture of brain tissue in health and disease.}, author = {Michalska, Julia M and Lyudchik, Julia and Velicky, Philipp and Korinkova, Hana and Watson, Jake and Cenameri, Alban and Sommer, Christoph M and Amberg, Nicole and Venturino, Alessandro and Roessler, Karl and Czech, Thomas and Höftberger, Romana and Siegert, Sandra and Novarino, Gaia and Jonas, Peter M and Danzl, Johann G}, issn = {1546-1696}, journal = {Nature Biotechnology}, publisher = {Springer Nature}, title = {{Imaging brain tissue architecture across millimeter to nanometer scales}}, doi = {10.1038/s41587-023-01911-8}, year = {2023}, } @article{14258, abstract = {There is currently little evidence that the genetic basis of human phenotype varies significantly across the lifespan. However, time-to-event phenotypes are understudied and can be thought of as reflecting an underlying hazard, which is unlikely to be constant through life when values take a broad range. Here, we find that 74% of 245 genome-wide significant genetic associations with age at natural menopause (ANM) in the UK Biobank show a form of age-specific effect. Nineteen of these replicated discoveries are identified only by our modeling framework, which determines the time dependency of DNA-variant age-at-onset associations without a significant multiple-testing burden. Across the range of early to late menopause, we find evidence for significantly different underlying biological pathways, changes in the signs of genetic correlations of ANM to health indicators and outcomes, and differences in inferred causal relationships. We find that DNA damage response processes only act to shape ovarian reserve and depletion for women of early ANM. Genetically mediated delays in ANM were associated with increased relative risk of breast cancer and leiomyoma at all ages and with high cholesterol and heart failure for late-ANM women. These findings suggest that a better understanding of the age dependency of genetic risk factor relationships among health indicators and outcomes is achievable through appropriate statistical modeling of large-scale biobank data.}, author = {Ojavee, Sven E. and Darrous, Liza and Patxot, Marion and Läll, Kristi and Fischer, Krista and Mägi, Reedik and Kutalik, Zoltan and Robinson, Matthew Richard}, issn = {1537-6605}, journal = {American Journal of Human Genetics}, number = {9}, pages = {1549--1563}, publisher = {Elsevier}, title = {{Genetic insights into the age-specific biological mechanisms governing human ovarian aging}}, doi = {10.1016/j.ajhg.2023.07.006}, volume = {110}, year = {2023}, } @inproceedings{14259, abstract = {We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game’s huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several ways. Firstly, checking whether a guessed strategy is winning is easier than constructing one. Secondly, even if the guess is wrong in some places, it can be fixed by strategy iteration faster than constructing one from scratch. Thirdly, the guess can be used in on-the-fly approaches to prioritize exploration in the most fruitful directions. In contrast to previous works, we (i) reflect the highly structured logical information in game’s states, the so-called semantic labelling, coming from the recent LTL-to-automata translations, and (ii) learn to reflect it properly by learning from previously solved games, bringing the solving process closer to human-like reasoning.}, author = {Kretinsky, Jan and Meggendorfer, Tobias and Prokop, Maximilian and Rieder, Sabine}, booktitle = {35th International Conference on Computer Aided Verification }, isbn = {9783031377051}, issn = {1611-3349}, location = {Paris, France}, pages = {390--414}, publisher = {Springer Nature}, title = {{Guessing winning policies in LTL synthesis by semantic learning}}, doi = {10.1007/978-3-031-37706-8_20}, volume = {13964}, year = {2023}, }