--- OA_place: repository OA_type: green _id: '22770' article_processing_charge: No author: - first_name: Bingqing full_name: Cheng, Bingqing last_name: Cheng - first_name: Daniel full_name: King, Daniel last_name: King - first_name: Dongjin full_name: Kim, Dongjin last_name: Kim - first_name: Peichen full_name: Zhong, Peichen last_name: Zhong citation: ama: 'Cheng B, King D, Kim D, Zhong P. BingqingCheng/cace-lr-fit: V0. 2025. doi:10.5281/zenodo.16415060' apa: 'Cheng, B., King, D., Kim, D., & Zhong, P. (2025). BingqingCheng/cace-lr-fit: V0. Repository. https://doi.org/10.5281/zenodo.16415060' chicago: 'Cheng, Bingqing, Daniel King, Dongjin Kim, and Peichen Zhong. “BingqingCheng/Cace-Lr-Fit: V0.” Repository, 2025. https://doi.org/10.5281/zenodo.16415060.' ieee: 'B. Cheng, D. King, D. Kim, and P. Zhong, “BingqingCheng/cace-lr-fit: V0.” Repository, 2025.' ista: 'Cheng B, King D, Kim D, Zhong P. 2025. BingqingCheng/cace-lr-fit: V0, Repository, 10.5281/zenodo.16415060.' mla: 'Cheng, Bingqing, et al. BingqingCheng/Cace-Lr-Fit: V0. Repository, 2025, doi:10.5281/zenodo.16415060.' short: B. Cheng, D. King, D. Kim, P. Zhong, (2025). date_created: 2026-08-27T12:13:55Z date_published: 2025-07-24T00:00:00Z date_updated: 2026-08-27T12:16:48Z day: '24' ddc: - '000' department: - _id: BiCh doi: 10.5281/zenodo.16415060 fulldoi: https://doi.org/10.5281/zenodo.16415060 main_file_link: - open_access: '1' url: https://doi.org/10.5281/zenodo.16415061 month: '07' oa: 1 oa_version: None publisher: Repository related_material: record: - id: '20452' relation: used_in_publication status: public status: public title: 'BingqingCheng/cace-lr-fit: V0' type: research_data_reference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2025' ... --- OA_place: publisher _id: '19684' abstract: - lang: eng text: "The overarching goal of this thesis is to break down the complexity of turbulent flows in terms of enumerable, coherent structures and patterns. In a five-paper series, we adopt a variety of perspectives and techniques to relate the properties of systems of increasing complexity to their underlying coherent structures. \r\n\r\nInitially, we take a dynamical systems point of view, seeing turbulent flow as a chaotic trajectory bouncing between exact unstable solutions of the underlying equations of motion. Using persistent homology, the main tool of topological data analysis capturing the persistence across scales of topological features in a point cloud, we introduce a method that quantifies visits of turbulent trajectories to unstable time-periodic solutions, also called periodic orbits. We demonstrate this method first in the Rössler and Kuramoto–Sivashinsky systems. Using this method in 3D Kolmogorov flow, we extract a Markov chain from turbulent data, where each node corresponds to the neighbourhood of a periodic orbit. The invariant distribution of this Markov chain reproduces expectation values on turbulent data when it is used to weight averages on the respective periodic orbits.\r\n\r\nIn more realistic, wall-bounded settings, such as plane-Couette flow (pcf) driven by the relative motion of the walls, or plane-Poiseuille flow (ppf) driven by a pressure gradient, finding exact solutions is difficult. We use dynamic mode decomposition (DMD), a dimensionality reduction method for sequential data, to identify and approximate low-dimensional dynamics without knowing any exact solutions. Most spatially-extended systems are equivariant under translations, and in such cases spatial drifts dominate DMD, hindering its use in the search for and modelling of low-dimensional dynamics. We augment DMD with a symmetry reduction method trained on turbulent data to stop it from seeing translations as a feature, improving its ability to extract dynamical information in translation-equivariant systems. We find segments of turbulent trajectories that linearize well with their symmetry-reduced DMD spectra, akin to dynamics near exact solutions. Searching for harmonics in the spectra gives leads for periodic orbits with spatial drifts, one of which converges to a new solution.\r\n\r\nIn larger domains, turbulence can localize and coexist with surrounding laminar flow. Our preceding approaches are global, taking all of a domain into account at once, and cannot readily treat each localized patch individually. Working first in a minimal oblique domain that can host a single 1D-localized turbulent patch, we find that turbulence in ppf is connected to a stable periodic orbit at a flow velocity much lower than when turbulence is first onset. We show that, well in advance of sustained turbulence, chaos sets in explosively, and for long time horizons, time series are consistent with that of a random process.\r\n\r\nFinally, in much larger domains, we study and compare 2D-localized turbulence that appears as large-scale inclined structures, called stripes, in ppf and pcf. While appearing similar, we find that stripes in these two settings differ significantly in terms of how they sustain themselves, and in higher velocities, how they proliferate." acknowledged_ssus: - _id: ScienComp acknowledgement: "The work in this thesis was supported by a grant from the Simons Foundation (662960, BH).\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Gökhan full_name: Yalniz, Gökhan id: 66E74FA2-D8BF-11E9-8249-8DE2E5697425 last_name: Yalniz orcid: 0000-0002-8490-9312 citation: ama: 'Yalniz G. Transition to turbulence: Data-, solution-, and pattern-driven approaches. 2025. doi:10.15479/AT-ISTA-19684' apa: 'Yalniz, G. (2025). Transition to turbulence: Data-, solution-, and pattern-driven approaches. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19684' chicago: 'Yalniz, Gökhan. “Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19684.' ieee: 'G. Yalniz, “Transition to turbulence: Data-, solution-, and pattern-driven approaches,” Institute of Science and Technology Austria, 2025.' ista: 'Yalniz G. 2025. Transition to turbulence: Data-, solution-, and pattern-driven approaches. Institute of Science and Technology Austria.' mla: 'Yalniz, Gökhan. Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19684.' short: 'G. Yalniz, Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-05-12T15:12:28Z date_published: 2025-05-13T00:00:00Z date_updated: 2026-09-02T08:16:32Z day: '13' ddc: - '514' - '519' - '532' - '004' degree_awarded: PhD department: - _id: GradSch - _id: BjHo doi: 10.15479/AT-ISTA-19684 doi_confirm: '1' file: - access_level: open_access checksum: 0e452642b79f13633f1595bde71a67e3 content_type: application/pdf creator: gyalniz date_created: 2025-05-12T15:13:28Z date_updated: 2025-05-12T15:13:28Z file_id: '19685' file_name: Gökhan Yalnız - PhD thesis.pdf file_size: 20058169 relation: main_file success: 1 - access_level: open_access checksum: 921099d76adab2df784ce12ce41cfb22 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:15:59Z date_updated: 2025-05-12T15:43:28Z description: '3D visualizations of the turbulent flow (left) and the periodic orbits (middle) that are being shadowed along with the local state space projections (right) onto the principal components of the respective periodic orbit. Shown here are the isosurfaces of velocity (red/blue: ±95% of the instantaneous maximum) and vorticity (purple/green: ±65% of the instantaneous maximum) in the x-direction. Markers along the projections are in sync with the 3D visualizations. The movie corresponds to the initial time interval (up to t = 100) of figure 2.2 (a,b); periodic orbits and the state space projections are shown only through the shadowing events indicated in figure 2.2 (b).' file_id: '19686' file_name: Movie 2A.1.mp4 file_size: 37763743 relation: supplementary_material title: Chapter 2 - Movie 2A.1 - access_level: open_access checksum: 0ae5ac7d9896003c0c4207dd746808dc content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:16:09Z date_updated: 2025-05-12T15:43:28Z description: 'Turbulent flow (left) in HKW domain and its symmetry reduction (right). Shown here are the isosurfaces of streamwise velocity (red/blue: u = 0.5 max/min u) and streamwise vorticity (green/purple: ω_x = 0.5 max/min ω_x).' file_id: '19687' file_name: Movie 3A.1.mp4 file_size: 3902655 relation: supplementary_material title: Chapter 3 - Movie 3A.1 - access_level: open_access checksum: ef8d270e066c1a9c3cb5ae46acf945e6 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:16:21Z date_updated: 2025-05-12T15:43:28Z description: 'Turbulent flow (left) in P2K domain and its symmetry reduction (right). Shown here are the isosurfaces of streamwise velocity (red/blue: u = 0.5 max/min u) and streamwise vorticity (green/purple: ω_x = 0.5 max/min ω_x).' file_id: '19688' file_name: Movie 3A.2.mp4 file_size: 7043169 relation: supplementary_material title: Chapter 3 - Movie 3A.2 - access_level: open_access checksum: 7ed871f428100d6827ac9b0e8ca8e985 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:16:36Z date_updated: 2025-05-12T15:43:28Z description: 'Relative periodic orbit RPO_79.4 (left) of the plane-Couette flow (HKW domain) and its symmetry reduction (right). Shown here are the isosurfaces of streamwise velocity (red/blue: u = 0.5 max/min u) and streamwise vorticity (green/purple: ω_x = 0.5 max/min ω_x).' file_id: '19689' file_name: Movie 3A.3.mp4 file_size: 7748659 relation: supplementary_material title: Chapter 3 - Movie 3A.3 - access_level: open_access checksum: dd5a252e1da00c8f303588e22e2baeef content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:16:50Z date_updated: 2025-05-12T15:43:28Z description: 'Symmetry-reduced flow (left), its SRDMD approximation (middle), and state space projection (right) showing the spiral-out episode in P2K domain (figure 3.6 (b) and figure 3.8 (b)). Shown here are the isosurfaces of streamwise velocity (red/blue: u = 0.5 max/min u) and streamwise vorticity (green/purple: ω_x = 0.5 max/min ω_x).' file_id: '19690' file_name: Movie 3A.4.mp4 file_size: 5873052 relation: supplementary_material title: Chapter 3 - Movie 3A.4 - access_level: open_access checksum: 5ac58b86810698db28cbfc28f351ff70 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:17:11Z date_updated: 2025-05-12T15:43:28Z description: Movie demonstrating the quasi-steady Reynolds number descent from turbulence to a periodic orbit. file_id: '19691' file_name: Movie 4A.1.mp4 file_size: 9209327 relation: supplementary_material title: Chapter 4 - Movie 4A.1 - access_level: open_access checksum: ac877f1e1ef39439911bf37cb1793b8e content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:17:43Z date_updated: 2025-05-12T15:43:28Z description: Streamwise velocity fluctuations (from laminar) of plane-Couette flow (Re^C =335) at the y = 0 wall-normal plane in coordinates stationary with respect to the bulk velocity. Here, x is the streamwise direction (the wall at y = 1 moves to the right) and z is the spanwise direction. Time is in advectime time units. Shown is the full (L_x = L_z = 400) domain. file_id: '19692' file_name: Movie 5A.1.mp4 file_size: 5893993 relation: supplementary_material title: Chapter 5 - Movie 5A.1 - access_level: open_access checksum: fd17eabb70129ceaa414e40924d1d2fe content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:17:49Z date_updated: 2025-05-12T15:43:28Z description: Streamwise velocity fluctuations (from laminar) of plane-Poiseuille flow (Re^P =660) at the y = 0.5 wall-normal plane in coordinates stationary with respect to the bulk velocity. Here, x is the streamwise direction (the mean negative pressure gradient is to the right) and z is the spanwise direction. Time is in advectime time units. Shown is the full (L_x = L_z = 400) domain. file_id: '19693' file_name: Movie 5A.2.mp4 file_size: 3990352 relation: supplementary_material title: Chapter 5 - Movie 5A.2 - access_level: open_access checksum: 32f904497ab0bbee38f0788d96b91454 content_type: video/mp4 creator: gyalniz date_created: 2025-05-12T15:17:58Z date_updated: 2025-05-12T15:43:28Z description: Streamwise velocity fluctuations (from laminar) of plane-Poiseuille flow (Re^P=660) at the y = 0.5 wall-normal plane in coordinates stationary with respect to the average velocity of the downstream tip of the stripe. Here, x is the streamwise direction (the mean negative pressure gradient is to the right) and z is the spanwise direction. Time is in advectime time units. Shown is a zoom-in of the full (L_x = L_z) domain. file_id: '19694' file_name: Movie 5A.3.mp4 file_size: 5171009 relation: supplementary_material title: Chapter 5 - Movie 5A.3 - access_level: closed checksum: f313261b9bb12dfb943fead8318954c6 content_type: application/x-zip-compressed creator: gyalniz date_created: 2025-05-12T15:27:10Z date_updated: 2025-05-12T15:43:28Z file_id: '19695' file_name: Gökhan Yalnız - PhD thesis.zip file_size: 18991996 relation: source_file file_date_updated: 2025-05-12T15:43:28Z fulldoi: https://doi.org/10.15479/AT-ISTA-19684 has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '155' project: - _id: 238598C6-32DE-11EA-91FC-C7463DDC885E grant_number: '662960' name: Revisiting the Turbulence Problem Using Statistical Mechanics publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9558' relation: part_of_dissertation status: public - id: '12105' relation: part_of_dissertation status: public - id: '13274' relation: part_of_dissertation status: public - id: '14466' relation: part_of_dissertation status: public - id: '7563' relation: part_of_dissertation status: public status: public supervisor: - first_name: Björn full_name: Hof, Björn id: 3A374330-F248-11E8-B48F-1D18A9856A87 last_name: Hof orcid: 0000-0003-2057-2754 title: 'Transition to turbulence: Data-, solution-, and pattern-driven approaches' type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '19795' abstract: - lang: eng text: Super-resolution microscopy often entails long acquisition times of minutes to hours. Since drifts during the acquisition adversely affect data quality, active sample stabilization is commonly used for some of these techniques to reach their full potential. Although drifts in the lateral plane can often be corrected after acquisition, this is not always possible or may come with drawbacks. Therefore, it is appealing to stabilize sample position in three dimensions (3D) during acquisition. Various schemes for active sample stabilization have been demonstrated previously, with some reaching sub-nanometer stability in 3D. Here, we present a scheme for active drift correction that delivers the nanometer-scale 3D stability demanded by state-of-the-art super-resolution techniques and is straightforward to implement compared to previous schemes capable of reaching this level of stabilization precision. Using a refined algorithm that can handle various types of reference structure, without sparse signal peaks being mandatory, we stabilized sample position to ∼1 nm in 3D using objective lenses both with high and low numerical aperture. Our implementation requires only the addition of a simple widefield imaging path and we provide an open-source control software with graphical user interface to facilitate easy adoption of the module. Finally, we demonstrate how this has the potential to enhance data collection for diffraction-limited and super-resolution imaging techniques using single-molecule localization microscopy and cryo-confocal imaging as showcases. acknowledged_ssus: - _id: M-Shop - _id: EM-Fac - _id: LifeSc acknowledgement: 'We acknowledge expert support by ISTA’s scientific service units, including the Miba Machine Shop, the Electron Microscopy Facility, and the Lab Support Facility. This work has been made possible in part by CZI grant DAF2021-234754 and grant DOI: https://doi.org/10.37921/812628ebpcwg from the Chan Zuckerberg Initiative DAF, an advised fund of Silicon Valley Community Foundation (funder DOI: https://doi.org/10.13039/100014989) (F.K.M.S. and J.G.D.). We further gratefully acknowledge funding by the following sources: Austrian Science Fund (FWF) grant DK W1232 (M.R.T. and J.G.D.); Austrian Academy of Sciences DOC fellowship 26137 (M.R.T.); Marie Skłodowska-Curie Actions Fellowship GA no. 665385 under the EU Horizon 2020 program (J.L.); ISTA postdoctoral fellowship IST fellow (A.W.); and Human Frontier Science Program postdoctoral fellowship LT000557/2018 (W.J.).' article_number: '100211' article_processing_charge: Yes article_type: original author: - first_name: Jakob full_name: Vorlaufer, Jakob id: 937696FA-C996-11E9-8C7C-CF13E6697425 last_name: Vorlaufer orcid: 0009-0000-7590-3501 - first_name: Nikolai full_name: Semenov, Nikolai id: e64d39c7-72ef-11ef-b75a-ee3046860d1b last_name: Semenov - first_name: Caroline full_name: Kreuzinger, Caroline id: 382077BA-F248-11E8-B48F-1D18A9856A87 last_name: Kreuzinger - first_name: Manjunath full_name: Javoor, Manjunath id: 305ab18b-dc7d-11ea-9b2f-b58195228ea2 last_name: Javoor orcid: 0000-0003-2311-2112 - first_name: Bettina full_name: Zens, Bettina id: 45FD126C-F248-11E8-B48F-1D18A9856A87 last_name: Zens orcid: 0000-0002-9561-1239 - first_name: Nathalie full_name: Agudelo Duenas, Nathalie id: 40E7F008-F248-11E8-B48F-1D18A9856A87 last_name: Agudelo Duenas - first_name: Mojtaba full_name: Tavakoli, Mojtaba id: 3A0A06F4-F248-11E8-B48F-1D18A9856A87 last_name: Tavakoli orcid: 0000-0002-7667-6854 - first_name: Marek full_name: Suplata, Marek id: EE8452B8-C26A-11E9-B157-E80CE6697425 last_name: Suplata - first_name: Wiebke full_name: Jahr, Wiebke id: 425C1CE8-F248-11E8-B48F-1D18A9856A87 last_name: Jahr orcid: 0000-0003-0201-2315 - first_name: Julia full_name: Lyudchik, Julia id: 46E28B80-F248-11E8-B48F-1D18A9856A87 last_name: Lyudchik - first_name: Andreas full_name: Wartak, Andreas id: 60aaa06c-3de5-11eb-9e53-baa88e955dcb last_name: Wartak - first_name: Florian Km full_name: Schur, Florian Km id: 48AD8942-F248-11E8-B48F-1D18A9856A87 last_name: Schur orcid: 0000-0003-4790-8078 - first_name: Johann G full_name: Danzl, Johann G id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87 last_name: Danzl orcid: 0000-0001-8559-3973 citation: ama: Vorlaufer J, Semenov N, Kreuzinger C, et al. Image-based 3D active sample stabilization on the nanometer scale for optical microscopy. Biophysical Reports. 2025;5(2). doi:10.1016/j.bpr.2025.100211 apa: Vorlaufer, J., Semenov, N., Kreuzinger, C., Javoor, M., Zens, B., Agudelo Duenas, N., … Danzl, J. G. (2025). Image-based 3D active sample stabilization on the nanometer scale for optical microscopy. Biophysical Reports. Elsevier. https://doi.org/10.1016/j.bpr.2025.100211 chicago: Vorlaufer, Jakob, Nikolai Semenov, Caroline Kreuzinger, Manjunath Javoor, Bettina Zens, Nathalie Agudelo Duenas, Mojtaba Tavakoli, et al. “Image-Based 3D Active Sample Stabilization on the Nanometer Scale for Optical Microscopy.” Biophysical Reports. Elsevier, 2025. https://doi.org/10.1016/j.bpr.2025.100211. ieee: J. Vorlaufer et al., “Image-based 3D active sample stabilization on the nanometer scale for optical microscopy,” Biophysical Reports, vol. 5, no. 2. Elsevier, 2025. ista: Vorlaufer J, Semenov N, Kreuzinger C, Javoor M, Zens B, Agudelo Duenas N, Tavakoli M, Suplata M, Jahr W, Lyudchik J, Wartak A, Schur FK, Danzl JG. 2025. Image-based 3D active sample stabilization on the nanometer scale for optical microscopy. Biophysical Reports. 5(2), 100211. mla: Vorlaufer, Jakob, et al. “Image-Based 3D Active Sample Stabilization on the Nanometer Scale for Optical Microscopy.” Biophysical Reports, vol. 5, no. 2, 100211, Elsevier, 2025, doi:10.1016/j.bpr.2025.100211. short: J. Vorlaufer, N. Semenov, C. Kreuzinger, M. Javoor, B. Zens, N. Agudelo Duenas, M. Tavakoli, M. Suplata, W. Jahr, J. Lyudchik, A. Wartak, F.K. Schur, J.G. Danzl, Biophysical Reports 5 (2025). corr_author: '1' date_created: 2025-06-08T22:01:22Z date_published: 2025-06-11T00:00:00Z date_updated: 2026-09-03T09:36:24Z day: '11' ddc: - '570' department: - _id: JoDa - _id: GradSch - _id: FlSc - _id: EM-Fac doi: 10.1016/j.bpr.2025.100211 ec_funded: 1 file: - access_level: open_access checksum: 4018c833f25a3ad3b57e3577fed70334 content_type: application/pdf creator: dernst date_created: 2025-06-10T07:24:46Z date_updated: 2025-06-10T07:24:46Z file_id: '19802' file_name: 2025_BiophysicalReports_Vorlaufer.pdf file_size: 7238179 relation: main_file success: 1 file_date_updated: 2025-06-10T07:24:46Z fulldoi: https://doi.org/10.1016/j.bpr.2025.100211 has_accepted_license: '1' intvolume: ' 5' issue: '2' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '06' oa: 1 oa_version: Published Version project: - _id: 62909c6f-2b32-11ec-9570-e1476aab5308 grant_number: CZI01 name: CryoMinflux-guided in-situ molecular census and structure determination - _id: 6285a163-2b32-11ec-9570-8e204ca2dba5 grant_number: '26137' name: Studying Organelle Structure and Function at Nanoscale Resolution with Expansion Microscopy - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 26AA4EF2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: W1232-B24 name: Molecular Drug Targets - _id: 2668BFA0-B435-11E9-9278-68D0E5697425 grant_number: LT00057 name: High-speed 3D-nanoscopy to study the role of adhesion during 3D cell migration publication: Biophysical Reports publication_identifier: eissn: - 2667-0747 publication_status: published publisher: Elsevier quality_controlled: '1' related_material: record: - id: '20206' relation: dissertation_contains status: public - id: '22744' relation: dissertation_contains status: public scopus_import: '1' status: public title: Image-based 3D active sample stabilization on the nanometer scale for optical microscopy tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 5 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '15016' abstract: - lang: eng text: Amphibians, by virtue of their phylogenetic position, provide invaluable insights on nervous system evolution, development, and remodeling. The genetic toolkit for amphibians, however, remains limited. Recombinant adeno-associated viral vectors (AAVs) are a powerful alternative to transgenesis for labeling and manipulating neurons. Although successful in mammals, AAVs have never been shown to transduce amphibian cells efficiently. We screened AAVs in three amphibian species—the frogs Xenopus laevis and Pelophylax bedriagae and the salamander Pleurodeles waltl—and identified at least two AAV serotypes per species that transduce neurons. In developing amphibians, AAVs labeled groups of neurons generated at the same time during development. In the mature brain, AAVrg retrogradely traced long-range projections. Our study introduces AAVs as a tool for amphibian research, establishes a generalizable workflow for AAV screening in new species, and expands opportunities for cross-species comparisons of nervous system development, function, and evolution. acknowledged_ssus: - _id: PreCl - _id: Bio acknowledgement: 'We thank members of the Sweeney, Tosches, Shein-Idelson, Yamaguchi, Kelley, and Cline Labs for their contributions to this project, discussion, and support. We additionally thank the Beckman Institute CLOVER Center and Viviana Gradinaru (Caltech), Kimberly Ritola (UNC NeuroTools), and Flavia Gomez-Leite (ISTA Viral Core) for AAV production and consultation; Andras Simon and Alberto Joven (Karolinska Institute) for feedback; Elizabeth Bagnato-Cohen (Columbia) for project coordination; our animal care and imaging facilities; the amphibian stock centers (NXR, EXRC, and XenopusExpress); and our funding sources: NSF IOS 2110086 (D.B.K., L.B.S., M.A.T., A.Y., and H.T.C.); US-Israel Binational Science Foundation (BSF) 2020702 (M.S.-I.); FTI Strategy Lower Austria Dissertation FT121-D-046 (D.V.); Horizon Europe ERC Starting Grant 101041551 and Special Research Programme (SFB) of the Austrian Science Fund (FWF) project F7814-B (L.B.S.); NIH grant R35GM146973, Rita Allen Foundation Award GA_032522_FE, and CZI Ben Barres Early Career Acceleration Award 2023-331758 (M.A.T.); EMBO Long-Term Fellowship ALTF 874-2021 (A.D.); and NSF GRFP DGE 2036197 (E.C.B.J.).' article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Eliza C.B. full_name: Jaeger, Eliza C.B. last_name: Jaeger - first_name: David full_name: Vijatovic, David id: cf391e77-ec3c-11ea-a124-d69323410b58 last_name: Vijatovic orcid: 0000-0002-5494-0941 - first_name: Astrid full_name: Deryckere, Astrid last_name: Deryckere - first_name: Nikol full_name: Zorin, Nikol last_name: Zorin - first_name: Akemi L. full_name: Nguyen, Akemi L. last_name: Nguyen - first_name: Georgiy full_name: Ivanian, Georgiy id: eaf2b366-cfd1-11ee-bbdf-c8790f800a05 last_name: Ivanian orcid: 0009-0002-3999-3735 - first_name: Jamie full_name: Woych, Jamie last_name: Woych - first_name: Rebecca C full_name: Arnold, Rebecca C id: d6cce458-14c9-11ed-a755-c1c8fc6fde6f last_name: Arnold - first_name: Alonso full_name: Ortega Gurrola, Alonso last_name: Ortega Gurrola - first_name: Arik full_name: Shvartsman, Arik last_name: Shvartsman - first_name: Francesca full_name: Barbieri, Francesca id: a9492887-8972-11ed-ae7b-bfae10998254 last_name: Barbieri - first_name: Florina-Alexandra full_name: Toma, Florina-Alexandra id: 85dd99f2-15b2-11ec-abd3-d1ae4d57f3b5 last_name: Toma - first_name: Gary J. full_name: Gorbsky, Gary J. last_name: Gorbsky - first_name: Marko E. full_name: Horb, Marko E. last_name: Horb - first_name: Hollis T. full_name: Cline, Hollis T. last_name: Cline - first_name: Timothy F. full_name: Shay, Timothy F. last_name: Shay - first_name: Darcy B. full_name: Kelley, Darcy B. last_name: Kelley - first_name: Ayako full_name: Yamaguchi, Ayako last_name: Yamaguchi - first_name: Mark full_name: Shein-Idelson, Mark last_name: Shein-Idelson - first_name: Maria Antonietta full_name: Tosches, Maria Antonietta last_name: Tosches - first_name: Lora Beatrice Jaeger full_name: Sweeney, Lora Beatrice Jaeger id: 56BE8254-C4F0-11E9-8E45-0B23E6697425 last_name: Sweeney orcid: 0000-0001-9242-5601 citation: ama: Jaeger ECB, Vijatovic D, Deryckere A, et al. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 2025;60(5):794-812.e6. doi:10.1016/j.devcel.2024.10.025 apa: Jaeger, E. C. B., Vijatovic, D., Deryckere, A., Zorin, N., Nguyen, A. L., Ivanian, G., … Sweeney, L. B. (2025). Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2024.10.025 chicago: Jaeger, Eliza C.B., David Vijatovic, Astrid Deryckere, Nikol Zorin, Akemi L. Nguyen, Georgiy Ivanian, Jamie Woych, et al. “Adeno-Associated Viral Tools to Trace Neural Development and Connectivity across Amphibians.” Developmental Cell. Elsevier, 2025. https://doi.org/10.1016/j.devcel.2024.10.025. ieee: E. C. B. Jaeger et al., “Adeno-associated viral tools to trace neural development and connectivity across amphibians,” Developmental Cell, vol. 60, no. 5. Elsevier, p. 794–812.e6, 2025. ista: Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6. mla: Jaeger, Eliza C. B., et al. “Adeno-Associated Viral Tools to Trace Neural Development and Connectivity across Amphibians.” Developmental Cell, vol. 60, no. 5, Elsevier, 2025, p. 794–812.e6, doi:10.1016/j.devcel.2024.10.025. short: E.C.B. Jaeger, D. Vijatovic, A. Deryckere, N. Zorin, A.L. Nguyen, G. Ivanian, J. Woych, R.C. Arnold, A. Ortega Gurrola, A. Shvartsman, F. Barbieri, F.-A. Toma, G.J. Gorbsky, M.E. Horb, H.T. Cline, T.F. Shay, D.B. Kelley, A. Yamaguchi, M. Shein-Idelson, M.A. Tosches, L.B. Sweeney, Developmental Cell 60 (2025) 794–812.e6. corr_author: '1' date_created: 2024-02-20T09:20:32Z date_published: 2025-03-10T00:00:00Z date_updated: 2026-09-04T10:11:04Z day: '10' ddc: - '570' department: - _id: LoSw - _id: MaDe - _id: GaNo doi: 10.1016/j.devcel.2024.10.025 external_id: isi: - '001444798600001' pmid: - '39603234' file: - access_level: open_access checksum: a83a4cb58f5941096d3ad91ca0172594 content_type: application/pdf creator: dernst date_created: 2025-06-04T05:43:27Z date_updated: 2025-06-04T05:43:27Z file_id: '19790' file_name: 2025_DevelopmentalCell_Jaeger.pdf file_size: 11936258 relation: main_file success: 1 file_date_updated: 2025-06-04T05:43:27Z fulldoi: https://doi.org/10.1016/j.devcel.2024.10.025 has_accepted_license: '1' intvolume: ' 60' isi: 1 issue: '5' language: - iso: eng month: '03' oa: 1 oa_version: Published Version page: 794-812.e6 pmid: 1 project: - _id: bd73af52-d553-11ed-ba76-912049f0ac7a grant_number: FTI21-D-046 name: Development of V1 interneuron diversity during swim-to-walk transition of Xenopus metamorphosis - _id: ebb66355-77a9-11ec-83b8-b8ac210a4dae grant_number: '101041551' name: Development and Evolution of Tetrapod Motor Circuits - _id: 8da85f50-16d5-11f0-9cad-eab8b0ff6c9e grant_number: F7814 name: 'Stem Cell Modulation in Neural Development and Regeneration/ P14-Swim-to-limb transition: cell type to connection diversity' publication: Developmental Cell publication_identifier: eissn: - 1878-1551 issn: - 1534-5807 publication_status: published publisher: Elsevier quality_controlled: '1' related_material: record: - id: '22667' relation: dissertation_contains status: public - id: '22803' relation: research_data status: public scopus_import: '1' status: public title: Adeno-associated viral tools to trace neural development and connectivity across amphibians tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 60 year: '2025' ... --- OA_place: publisher OA_type: diamond _id: '20668' abstract: - lang: eng text: "The Message Layer Security (MLS) protocol has recently been standardized by the IETF. MLS is a scalable secure group messaging protocol expected to run more efficiently compared to the Signal protocol at scale, while offering a similar level of strong security. Even though MLS has undergone extensive examination by researchers, the majority of the works have focused on confidentiality.\r\n\r\nIn this work, we focus on the authenticity of the application messages exchanged in MLS. Currently, MLS authenticates every application message with an EdDSA signature and while manageable, the overhead is greatly amplified in the post-quantum setting as the NIST-recommended Dilithium signature results in a 40x increase in size. We view this as an invitation to explore new authentication modes that can be used instead. We start by taking a systematic view on how application messages are authenticated in MLS and categorize authenticity into four different security notions. We then propose several authentication modes, offering a range of different efficiency and security profiles. For instance, in one of our modes, COSMOS++, we replace signatures with one-time tokens and a MAC tag, offering roughly a 75x savings in the post-quantum communication overhead. While this comes at the cost of weakening security compared to the authentication mode used by MLS, the lower communication overhead seems to make it a worthwhile trade-off with security." acknowledgement: This research was partially supported by JST CREST JPMJCR22M1, Japan and funded by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No.665385. article_processing_charge: No author: - first_name: Keitaro full_name: Hashimoto, Keitaro last_name: Hashimoto - first_name: Shuichi full_name: Katsumata, Shuichi last_name: Katsumata - first_name: Guillermo full_name: Pascual Perez, Guillermo id: 2D7ABD02-F248-11E8-B48F-1D18A9856A87 last_name: Pascual Perez orcid: 0000-0001-8630-415X citation: ama: 'Hashimoto K, Katsumata S, Pascual Perez G. Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable. In: 34th Usenix Security Symposium. Usenix Association; 2025:6699-6716.' apa: 'Hashimoto, K., Katsumata, S., & Pascual Perez, G. (2025). Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable. In 34th Usenix Security Symposium (pp. 6699–6716). Seattle, WA, USA: Usenix Association.' chicago: 'Hashimoto, Keitaro, Shuichi Katsumata, and Guillermo Pascual Perez. “Exploring How to Authenticate Application Messages in MLS: More Efficient, Post-Quantum, and Anonymous Blocklistable.” In 34th Usenix Security Symposium, 6699–6716. Usenix Association, 2025.' ieee: 'K. Hashimoto, S. Katsumata, and G. Pascual Perez, “Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable,” in 34th Usenix Security Symposium, Seattle, WA, USA, 2025, pp. 6699–6716.' ista: 'Hashimoto K, Katsumata S, Pascual Perez G. 2025. Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable. 34th Usenix Security Symposium. USENIX: Security Symposium, 6699–6716.' mla: 'Hashimoto, Keitaro, et al. “Exploring How to Authenticate Application Messages in MLS: More Efficient, Post-Quantum, and Anonymous Blocklistable.” 34th Usenix Security Symposium, Usenix Association, 2025, pp. 6699–716.' short: K. Hashimoto, S. Katsumata, G. Pascual Perez, in:, 34th Usenix Security Symposium, Usenix Association, 2025, pp. 6699–6716. conference: end_date: 2025-08-15 location: Seattle, WA, USA name: 'USENIX: Security Symposium' start_date: 2025-08-13 corr_author: '1' cryptoeprintid: 1 das_tickbox: '1' date_created: 2025-11-23T23:01:40Z date_published: 2025-01-01T00:00:00Z date_updated: 2026-09-07T11:37:56Z day: '01' ddc: - '000' ec_funded: 1 external_id: cryptoeprintid: - 2025/426 file: - access_level: open_access checksum: fcfe8851aeb751af98c0b1335a0ef149 content_type: application/pdf creator: dernst date_created: 2025-11-24T07:44:08Z date_updated: 2025-11-24T07:44:08Z file_id: '20671' file_name: 2025_Usenix_Hashimoto.pdf file_size: 710733 relation: main_file success: 1 file_date_updated: 2025-11-24T07:44:08Z has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2025/426 month: '01' oa: 1 oa_version: Published Version page: 6699-6716 project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: 34th Usenix Security Symposium publication_identifier: isbn: - '9781939133526' publication_status: published publisher: Usenix Association quality_controlled: '1' scopus_import: '1' status: public title: 'Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher OA_type: free access _id: '22774' abstract: - lang: eng text: We consider the problem of certifying the feasibility of a (possibly degenerate) semidefinite programming problem represented by rational input data together with a numerical solution that is guaranteed to be sufficiently close to an exact solution of maximal rank. Our method constructs a polynomial system whose set of real solutions has an isolated point that satisfies the input program. An experimental comparison between the corresponding symbolic-numerical algorithm and the purely symbolic algorithm from [3, 5] shows that the hybrid algorithm is able to certify instances where the exact method fails. acknowledgement: "This extended abstract is based on the paper [7], accepted for publication at SIAM\r\nJ. Opt. on April 22, 2025, to which we refer for technical details and complete proofs. This work has been\r\nsupported by the Doctoral Programme Vienna Graduate School on Computational Optimization (VGSCO)\r\nwhich was funded by FWF (Austrian Science Fund), project W 1260-N35, and partially supported by the\r\nANR JCJC project ANR-21-CE48-0006-01 “HYPERSPACE”.\r\n" article_processing_charge: No article_type: original author: - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov - first_name: Simone full_name: Naldi, Simone last_name: Naldi - first_name: Jeferson full_name: Zapata, Jeferson id: 00223538-AF8F-11E9-A4C7-F729E6697425 last_name: Zapata citation: ama: Kolmogorov V, Naldi S, Zapata J. Certifying solutions of degenerate semidefinite programs. ACM Communications in Computer Algebra. 2025;59(4):147-152. doi:10.1145/3832046.3832063 apa: Kolmogorov, V., Naldi, S., & Zapata, J. (2025). Certifying solutions of degenerate semidefinite programs. ACM Communications in Computer Algebra. ACM. https://doi.org/10.1145/3832046.3832063 chicago: Kolmogorov, Vladimir, Simone Naldi, and Jeferson Zapata. “Certifying Solutions of Degenerate Semidefinite Programs.” ACM Communications in Computer Algebra. ACM, 2025. https://doi.org/10.1145/3832046.3832063. ieee: V. Kolmogorov, S. Naldi, and J. Zapata, “Certifying solutions of degenerate semidefinite programs,” ACM Communications in Computer Algebra, vol. 59, no. 4. ACM, pp. 147–152, 2025. ista: Kolmogorov V, Naldi S, Zapata J. 2025. Certifying solutions of degenerate semidefinite programs. ACM Communications in Computer Algebra. 59(4), 147–152. mla: Kolmogorov, Vladimir, et al. “Certifying Solutions of Degenerate Semidefinite Programs.” ACM Communications in Computer Algebra, vol. 59, no. 4, ACM, 2025, pp. 147–52, doi:10.1145/3832046.3832063. short: V. Kolmogorov, S. Naldi, J. Zapata, ACM Communications in Computer Algebra 59 (2025) 147–152. corr_author: '1' date_created: 2026-08-30T22:01:44Z date_published: 2025-12-01T00:00:00Z date_updated: 2026-09-09T08:17:05Z day: '01' department: - _id: VlKo doi: 10.1145/3832046.3832063 external_id: unknown: - '2405.13625' fulldoi: https://doi.org/10.1145/3832046.3832063 intvolume: ' 59' issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1145/3832046.3832063 month: '12' oa: 1 oa_version: Published Version page: 147-152 project: - _id: 9B9290DE-BA93-11EA-9121-9846C619BF3A grant_number: W1260-N35 name: Vienna Graduate School on Computational Optimization publication: ACM Communications in Computer Algebra publication_identifier: eissn: - 1932-2240 issn: - 1932-2232 publication_status: published publisher: ACM scopus_import: '1' status: public title: Certifying solutions of degenerate semidefinite programs type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 59 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '18710' abstract: - lang: eng text: We present an ab initio theoretical method to calculate the resonant Auger spectrum in the presence of ultrafast dissociation. The method is demonstrated by deriving the L-VV resonant Auger spectrum mediated by the 2p3/2−1σ* resonance in HCl, where the electronic Auger decay and nuclear dissociation occur on the same time scale. The Auger decay rates are calculated within the one-center approximation and are shown to vary significantly with the inter-nuclear distance. A quantum-mechanical description of dissociation is effectuated by propagating the corresponding Franck–Condon factors. The calculated profiles of Auger spectral lines resemble those of atomic Auger decay but here the characteristic tails extend towards lower electron kinetic energies, which reflect specific features of the potential energy curves. The presented method can describe the resonant Auger spectrum for an arbitrary speed of dissociation and simplifies to known approximations in the limiting cases. acknowledgement: This publication is based upon work from COST Action CA18212 – Molecular Dynamics in the GAS phase (MD-GAS), supported by COST (European Cooperation in Science and Technology). This work was financially supported by the Slovenian Research Agency in the framework of research program P1-0112 Studies of Atoms, Molecules and Structures by Photons and Particles. Part of this work was financed by the European Research Council (ERC) through the Starting Grant No. 801770 (ANGULON). The authors acknowledge P. Lablanquie, H. Iwayama, F. Penent, K. Soejima and E. Shigemasa for sharing their unpublished experimental spectra on HCl. article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Mateja full_name: Hrast, Mateja id: 48dbb294-2a9c-11ef-905d-f56be71f0e5d last_name: Hrast - first_name: Marko full_name: Ljubotina, Marko id: F75EE9BE-5C90-11EA-905D-16643DDC885E last_name: Ljubotina orcid: 0000-0003-0038-7068 - first_name: Matjaz full_name: Zitnik, Matjaz last_name: Zitnik citation: ama: Hrast M, Ljubotina M, Zitnik M. Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl. Physical Chemistry Chemical Physics. 2025;27(3):1473-1482. doi:10.1039/d4cp03727h apa: Hrast, M., Ljubotina, M., & Zitnik, M. (2025). Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl. Physical Chemistry Chemical Physics. Royal Society of Chemistry. https://doi.org/10.1039/d4cp03727h chicago: Hrast, Mateja, Marko Ljubotina, and Matjaz Zitnik. “Ab Initio Auger Spectrum of the Ultrafast Dissociating 2p3/2−1σ* Resonance in HCl.” Physical Chemistry Chemical Physics. Royal Society of Chemistry, 2025. https://doi.org/10.1039/d4cp03727h. ieee: M. Hrast, M. Ljubotina, and M. Zitnik, “Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl,” Physical Chemistry Chemical Physics, vol. 27, no. 3. Royal Society of Chemistry, pp. 1473–1482, 2025. ista: Hrast M, Ljubotina M, Zitnik M. 2025. Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl. Physical Chemistry Chemical Physics. 27(3), 1473–1482. mla: Hrast, Mateja, et al. “Ab Initio Auger Spectrum of the Ultrafast Dissociating 2p3/2−1σ* Resonance in HCl.” Physical Chemistry Chemical Physics, vol. 27, no. 3, Royal Society of Chemistry, 2025, pp. 1473–82, doi:10.1039/d4cp03727h. short: M. Hrast, M. Ljubotina, M. Zitnik, Physical Chemistry Chemical Physics 27 (2025) 1473–1482. corr_author: '1' date_created: 2024-12-29T23:01:58Z date_published: 2025-01-21T00:00:00Z date_updated: 2026-09-09T09:20:40Z day: '21' ddc: - '530' department: - _id: MiLe - _id: MaSe doi: 10.1039/d4cp03727h ec_funded: 1 external_id: isi: - '001379819100001' pmid: - '39698879' file: - access_level: open_access checksum: d035683179547b41b811107a8649aab0 content_type: application/pdf creator: dernst date_created: 2025-04-16T09:46:45Z date_updated: 2025-04-16T09:46:45Z file_id: '19581' file_name: 2025_PCCP_Hrast.pdf file_size: 1270582 relation: main_file success: 1 file_date_updated: 2025-04-16T09:46:45Z fulldoi: https://doi.org/10.1039/d4cp03727h has_accepted_license: '1' intvolume: ' 27' isi: 1 issue: '3' language: - iso: eng license: https://creativecommons.org/licenses/by-nc/3.0/ month: '01' oa: 1 oa_version: Published Version page: 1473-1482 pmid: 1 project: - _id: 2688CF98-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '801770' name: 'Angulon: physics and applications of a new quasiparticle' publication: Physical Chemistry Chemical Physics publication_identifier: issn: - 1463-9076 publication_status: published publisher: Royal Society of Chemistry quality_controlled: '1' related_material: record: - id: '18716' relation: research_data status: public - id: '22866' relation: research_data status: public scopus_import: '1' status: public title: Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/3.0/legalcode name: Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) short: CC BY-NC (3.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 27 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '22826' abstract: - lang: eng text: "Large Language Models (LLMs) have demonstrated the ability to tackle increasingly complex tasks through advanced reasoning, long-form content generation,\r\nand tool use. Solving these tasks often involves long inference-time computations.\r\nIn human problem solving, a common strategy to expedite work is collaboration: by\r\ndividing the problem into sub-tasks, exploring different strategies concurrently, etc.\r\nRecent research has shown that LLMs can also operate in parallel by implementing\r\nexplicit cooperation frameworks, such as voting mechanisms or the explicit creation of independent sub-tasks that can be executed in parallel. However, each of\r\nthese frameworks may not be suitable for all types of tasks, which can hinder their\r\napplicability. In this work, we propose a different design approach: we run LLM\r\n“workers” in parallel , allowing them to synchronize via a concurrently-updated\r\nattention cache and prompt these workers to decide how best to collaborate. Our\r\napproach allows the LLM instances to come up with their own collaboration strategy for the problem at hand, all the while “seeing” each other’s memory in the\r\nconcurrent KV cache. We implement this approach via Hogwild! Inference: a\r\nparallel LLM inference engine where multiple instances of the same LLM run in\r\nparallel with the same attention cache, with “instant” access to each other’s memory.1 Hogwild! Inference takes advantage of Rotary Position Embeddings (RoPE)\r\nto avoid recomputation while improving parallel hardware utilization. We find that\r\nmodern reasoning-capable LLMs can perform inference with shared Key-Value\r\ncache out of the box, without additional fine-tuning." acknowledgement: "We thank Vladimir Malinovskii for his help with brainstorming, helpful\r\nfeedback and suggesting future work directions. We also thank Philip Zmushko for proofreading." alternative_title: - Advances in Neural Information Processing Systems article_processing_charge: No author: - first_name: Gleb full_name: Rodionov, Gleb last_name: Rodionov - first_name: Roman full_name: Garipov, Roman last_name: Garipov - first_name: Alina full_name: Shutova, Alina last_name: Shutova - first_name: George full_name: Yakushev, George last_name: Yakushev - first_name: Erik full_name: Schultheis, Erik id: 2786b299-e6b0-11f0-91da-9243fe3ef96b last_name: Schultheis - first_name: Vage full_name: Egiazarian, Vage id: 77451e76-92b2-11ef-a4d1-8dbaa06e16ad last_name: Egiazarian - first_name: Anton full_name: Sinitsin, Anton last_name: Sinitsin - first_name: Denis full_name: Kuznedelev, Denis last_name: Kuznedelev - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X citation: ama: 'Rodionov G, Garipov R, Shutova A, et al. Hogwild! Inference: Parallel LLM generation via concurrent attention. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:52014-52055. doi:10.52202/085713-1551' apa: 'Rodionov, G., Garipov, R., Shutova, A., Yakushev, G., Schultheis, E., Egiazarian, V., … Alistarh, D.-A. (2025). Hogwild! Inference: Parallel LLM generation via concurrent attention. In 39th Conference on Neural Information Processing Systems (Vol. 38, pp. 52014–52055). San Diego, CA, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/085713-1551' chicago: 'Rodionov, Gleb, Roman Garipov, Alina Shutova, George Yakushev, Erik Schultheis, Vage Egiazarian, Anton Sinitsin, Denis Kuznedelev, and Dan-Adrian Alistarh. “Hogwild! Inference: Parallel LLM Generation via Concurrent Attention.” In 39th Conference on Neural Information Processing Systems, 38:52014–55. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-1551.' ieee: 'G. Rodionov et al., “Hogwild! Inference: Parallel LLM generation via concurrent attention,” in 39th Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38, pp. 52014–52055.' ista: 'Rodionov G, Garipov R, Shutova A, Yakushev G, Schultheis E, Egiazarian V, Sinitsin A, Kuznedelev D, Alistarh D-A. 2025. Hogwild! Inference: Parallel LLM generation via concurrent attention. 39th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38, 52014–52055.' mla: 'Rodionov, Gleb, et al. “Hogwild! Inference: Parallel LLM Generation via Concurrent Attention.” 39th Conference on Neural Information Processing Systems, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 52014–55, doi:10.52202/085713-1551.' short: G. Rodionov, R. Garipov, A. Shutova, G. Yakushev, E. Schultheis, V. Egiazarian, A. Sinitsin, D. Kuznedelev, D.-A. Alistarh, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 52014–52055. conference: end_date: 2025-12-07 location: San Diego, CA, United States name: 'NeurIPS: Neural Information Processing Systems' start_date: 2025-12-02 das_tickbox: '0' date_created: 2026-09-06T22:01:59Z date_published: 2025-12-02T00:00:00Z date_updated: 2026-09-10T07:06:31Z day: '02' ddc: - '000' department: - _id: DaAl doi: 10.52202/085713-1551 fulldoi: https://doi.org/10.52202/085713-1551 has_accepted_license: '1' intvolume: ' 38' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.52202/085713-1551 month: '12' oa: 1 oa_version: Published Version page: 52014-52055 publication: 39th Conference on Neural Information Processing Systems publication_identifier: isbn: - '9798331338275' issn: - 1049-5258 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: yes title: 'Hogwild! Inference: Parallel LLM generation via concurrent attention' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 38 year: '2025' ... --- OA_place: publisher OA_type: free access _id: '22825' abstract: - lang: eng text: "The empirical emergence of neural collapse—a surprising symmetry in the feature representations of the training data in the penultimate layer of deep neural\r\nnetworks—has spurred a line of theoretical research aimed at its understanding.\r\nHowever, existing work focuses on data-agnostic models or, when data structure is\r\ntaken into account, it remains limited to multi-layer perceptrons. Our paper fills\r\nboth these gaps by analyzing modern architectures in a data-aware regime: we\r\nprove that global optima of deep regularized transformers and residual networks\r\n(ResNets) with LayerNorm trained with cross entropy or mean squared error loss\r\nare approximately collapsed, and the approximation gets tighter as the depth grows.\r\nMore generally, we formally reduce any end-to-end large-depth ResNet or transformer training into an equivalent unconstrained features model, thus justifying its\r\nwide use in the literature even beyond data-agnostic settings. Our theoretical results\r\nare supported by experiments on computer vision and language datasets showing\r\nthat, as the depth grows, neural collapse indeed becomes more prominent." acknowledged_ssus: - _id: ScienComp acknowledgement: "M. M. and P. S. are funded by the European Union (ERC, INF2\r\n, project number 101161364). Views\r\nand opinions expressed are however those of the author(s) only and do not necessarily reflect those\r\nof the European Union or the European Research Council Executive Agency. Neither the European\r\nUnion nor the granting authority can be held responsible for them. This research was supported\r\nby the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp)." alternative_title: - Advances in Neural Information Processing Systems article_processing_charge: No arxiv: 1 author: - first_name: Peter full_name: Súkeník, Peter id: d64d6a8d-eb8e-11eb-b029-96fd216dec3c last_name: Súkeník - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 - first_name: Marco full_name: Mondelli, Marco id: 27EB676C-8706-11E9-9510-7717E6697425 last_name: Mondelli orcid: 0000-0002-3242-7020 citation: ama: 'Súkeník P, Lampert C, Mondelli M. Neural collapse is globally optimal in deep regularized ResNets and transformers. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:48646-48677. doi:10.52202/085713-1450' apa: 'Súkeník, P., Lampert, C., & Mondelli, M. (2025). Neural collapse is globally optimal in deep regularized ResNets and transformers. In 39th Conference on Neural Information Processing Systems (Vol. 38, pp. 48646–48677). San Diego, CA, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/085713-1450' chicago: Súkeník, Peter, Christoph Lampert, and Marco Mondelli. “Neural Collapse Is Globally Optimal in Deep Regularized ResNets and Transformers.” In 39th Conference on Neural Information Processing Systems, 38:48646–77. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-1450. ieee: P. Súkeník, C. Lampert, and M. Mondelli, “Neural collapse is globally optimal in deep regularized ResNets and transformers,” in 39th Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38, pp. 48646–48677. ista: 'Súkeník P, Lampert C, Mondelli M. 2025. Neural collapse is globally optimal in deep regularized ResNets and transformers. 39th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38, 48646–48677.' mla: Súkeník, Peter, et al. “Neural Collapse Is Globally Optimal in Deep Regularized ResNets and Transformers.” 39th Conference on Neural Information Processing Systems, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 48646–77, doi:10.52202/085713-1450. short: P. Súkeník, C. Lampert, M. Mondelli, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 48646–48677. conference: end_date: 2025-12-07 location: San Diego, CA, United States name: 'NeurIPS: Neural Information Processing Systems' start_date: 2025-12-02 corr_author: '1' das_tickbox: '0' date_created: 2026-09-06T22:01:59Z date_published: 2025-12-02T00:00:00Z date_updated: 2026-09-10T08:11:46Z day: '02' ddc: - '000' department: - _id: MaMo - _id: GradSch - _id: ChLa doi: 10.52202/085713-1450 external_id: arxiv: - '2505.15239' fulldoi: https://doi.org/10.52202/085713-1450 intvolume: ' 38' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.52202/085713-1450 month: '12' oa: 1 oa_version: Published Version page: 48646-48677 project: - _id: 911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf grant_number: '101161364' name: 'Inference in High Dimensions: Light-speed Algorithms and Information Limits' publication: 39th Conference on Neural Information Processing Systems publication_identifier: isbn: - '9798331338275' issn: - 1049-5258 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Neural collapse is globally optimal in deep regularized ResNets and transformers type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 38 year: '2025' ... --- OA_place: publisher OA_type: free access _id: '22824' abstract: - lang: eng text: "We present new fast-rate PAC-Bayesian generalization bounds for multi-task and\r\nmeta-learning in the unbalanced setting, i.e. when the tasks have training sets of\r\ndifferent sizes, as is typically the case in real-world scenarios. Previously, only\r\nstandard-rate bounds were known for this situation, while fast-rate bounds were\r\nlimited to the setting where all training sets are of equal size. Our new bounds\r\nare numerically computable as well as interpretable, and we demonstrate their\r\nflexibility in handling a number of cases where they give stronger guarantees\r\nthan previous bounds. Besides the bounds themselves, we also make conceptual\r\ncontributions: we demonstrate that the unbalanced multi-task setting has different\r\nstatistical properties than the balanced situation, specifically that proofs from\r\nthe balanced situation do not carry over to the unbalanced setting. Additionally,\r\nwe shed light on the fact that the unbalanced situation allows two meaningful\r\ndefinitions of multi-task risk, depending on whether all tasks should be considered\r\nequally important or if sample-rich tasks should receive more weight than samplepoor ones." acknowledged_ssus: - _id: ScienComp acknowledgement: This research was supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp). alternative_title: - Advances in Neural Information Processing Systems article_processing_charge: No author: - first_name: Hossein full_name: Zakerinia, Hossein id: 653bd8b6-f394-11eb-9cf6-c0bbf6cd78d4 last_name: Zakerinia orcid: 0009-0007-3977-6462 - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 citation: ama: 'Zakerinia H, Lampert C. Fast rate bounds for multi-task and meta-learning with different sample sizes. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:9062-9093. doi:10.52202/085713-0278' apa: 'Zakerinia, H., & Lampert, C. (2025). Fast rate bounds for multi-task and meta-learning with different sample sizes. In 39th Conference on Neural Information Processing Systems (Vol. 38, pp. 9062–9093). San Diego, CA, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/085713-0278' chicago: Zakerinia, Hossein, and Christoph Lampert. “Fast Rate Bounds for Multi-Task and Meta-Learning with Different Sample Sizes.” In 39th Conference on Neural Information Processing Systems, 38:9062–93. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-0278. ieee: H. Zakerinia and C. Lampert, “Fast rate bounds for multi-task and meta-learning with different sample sizes,” in 39th Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38, pp. 9062–9093. ista: 'Zakerinia H, Lampert C. 2025. Fast rate bounds for multi-task and meta-learning with different sample sizes. 39th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38, 9062–9093.' mla: Zakerinia, Hossein, and Christoph Lampert. “Fast Rate Bounds for Multi-Task and Meta-Learning with Different Sample Sizes.” 39th Conference on Neural Information Processing Systems, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 9062–93, doi:10.52202/085713-0278. short: H. Zakerinia, C. Lampert, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 9062–9093. conference: end_date: 2025-12-07 location: San Diego, CA, United States name: 'NeurIPS: Neural Information Processing Systems' start_date: 2025-12-02 corr_author: '1' das_tickbox: '0' date_created: 2026-09-06T22:01:59Z date_published: 2025-12-02T00:00:00Z date_updated: 2026-09-10T08:37:33Z day: '02' department: - _id: GradSch - _id: ChLa doi: 10.52202/085713-0278 fulldoi: https://doi.org/10.52202/085713-0278 intvolume: ' 38' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.52202/085713-0278 month: '12' oa: 1 oa_version: Published Version page: 9062-9093 publication: 39th Conference on Neural Information Processing Systems publication_identifier: isbn: - '9798331338275' issn: - 1049-5258 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: yes title: Fast rate bounds for multi-task and meta-learning with different sample sizes type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 38 year: '2025' ... --- OA_place: publisher OA_type: free access _id: '22830' abstract: - lang: eng text: "We introduce AutoJudge, a method that accelerates large language model (LLM) inference with task-specific lossy speculative decoding. Instead of matching the original model output distribution token-by-token, we identify the generated tokens that affect the downstream quality of the response, relaxing the distribution match guarantee so that the \"unimportant\" tokens can be generated faster. Our approach relies on a semi‑greedy search algorithm to test which of the mismatches between target and draft models should be corrected to preserve quality and which ones may be skipped. We then train a lightweight classifier based on existing LLM embeddings to predict, at inference time, which mismatching tokens can be safely accepted without compromising the final answer quality. We evaluate AutoJudge with multiple draft/target model pairs on mathematical reasoning and programming benchmarks, achieving significant speedups at the cost of a minor accuracy reduction. Notably, on GSM8K with the Llama 3.1 70B target model, our approach achieves up to \r\n≈\r\n2\r\n×\r\n speedup \\textit{over speculative decoding} at the cost of a \r\n≤\r\n1\r\n%\r\n drop in accuracy. When applied to the LiveCodeBench benchmark, AutoJudge automatically detects programming-specific important tokens, accepting \r\n≥\r\n25\r\n tokens per speculation cycle at a\r\n \r\n2\r\n%\r\n drop in Pass@1. Our approach requires no human annotation and is easy to integrate with modern LLM inference frameworks." acknowledgement: "We would like to express our sincere gratitude to Denis Mazur for his valuable contributions to the\r\nimplementation of API calls used in Algorithm 1 and for supporting inference with the Llama 405B\r\nmodel. We are also thankful for his positive influence on the overall atmosphere and team morale\r\nthroughout the course of this project." alternative_title: - Advances in Neural Information Processing Systems article_processing_charge: No arxiv: 1 author: - first_name: Roman full_name: Garipov, Roman last_name: Garipov - first_name: Fedor full_name: Velikonivtsev, Fedor last_name: Velikonivtsev - first_name: Ivan full_name: Ermakov, Ivan last_name: Ermakov - first_name: Ruslan full_name: Svirschevski, Ruslan last_name: Svirschevski - first_name: Vage full_name: Egiazarian, Vage id: 77451e76-92b2-11ef-a4d1-8dbaa06e16ad last_name: Egiazarian - first_name: Max full_name: Ryabinin, Max last_name: Ryabinin citation: ama: 'Garipov R, Velikonivtsev F, Ermakov I, Svirschevski R, Egiazarian V, Ryabinin M. AutoJudge: Judge decoding without manual annotation. In: 39th Annual Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:104904-104941. doi:10.52202/085713-3163' apa: 'Garipov, R., Velikonivtsev, F., Ermakov, I., Svirschevski, R., Egiazarian, V., & Ryabinin, M. (2025). AutoJudge: Judge decoding without manual annotation. In 39th Annual Conference on Neural Information Processing Systems (Vol. 38, pp. 104904–104941). San Diego, CA, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/085713-3163' chicago: 'Garipov, Roman, Fedor Velikonivtsev, Ivan Ermakov, Ruslan Svirschevski, Vage Egiazarian, and Max Ryabinin. “AutoJudge: Judge Decoding without Manual Annotation.” In 39th Annual Conference on Neural Information Processing Systems, 38:104904–41. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-3163.' ieee: 'R. Garipov, F. Velikonivtsev, I. Ermakov, R. Svirschevski, V. Egiazarian, and M. Ryabinin, “AutoJudge: Judge decoding without manual annotation,” in 39th Annual Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38, pp. 104904–104941.' ista: 'Garipov R, Velikonivtsev F, Ermakov I, Svirschevski R, Egiazarian V, Ryabinin M. 2025. AutoJudge: Judge decoding without manual annotation. 39th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38, 104904–104941.' mla: 'Garipov, Roman, et al. “AutoJudge: Judge Decoding without Manual Annotation.” 39th Annual Conference on Neural Information Processing Systems, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 104904–41, doi:10.52202/085713-3163.' short: R. Garipov, F. Velikonivtsev, I. Ermakov, R. Svirschevski, V. Egiazarian, M. Ryabinin, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 104904–104941. conference: end_date: 2025-12-07 location: San Diego, CA, United States name: 'NeurIPS: Neural Information Processing Systems' start_date: 2025-12-02 das_tickbox: '0' date_created: 2026-09-06T22:02:00Z date_published: 2025-12-02T00:00:00Z date_updated: 2026-09-10T11:08:33Z day: '02' department: - _id: DaAl doi: 10.52202/085713-3163 external_id: arxiv: - '2504.20039' fulldoi: https://doi.org/10.52202/085713-3163 intvolume: ' 38' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.52202/085713-3163 month: '12' oa: 1 oa_version: Published Version page: 104904-104941 publication: 39th Annual Conference on Neural Information Processing Systems publication_identifier: isbn: - '9798331338275' issn: - 1049-5258 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: yes title: 'AutoJudge: Judge decoding without manual annotation' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 38 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '19595' abstract: - lang: eng text: We investigate the locality of magnetic response in polycyclic aromatic molecules using a novel deep-learning approach. Our method employs graph neural networks (GNNs) with a graph-of-rings representation to predict nucleus independent chemical shifts (NICS) in the space around the molecule. We train a series of models, each time reducing the size of the largest molecules used in training. The accuracy of prediction remains high (MAE < 0.5 ppm), even when training the model only on molecules with up to four rings, thus providing strong evidence for the locality of magnetic response. To overcome the known problem of generalization of GNNs, we implement a k-hop expansion strategy and succeed in achieving accurate predictions for molecules with up to 15 rings (almost 4 times the size of the largest training example). Our findings have implications for understanding the magnetic response in complex molecules and demonstrate a promising approach to overcoming GNN scalability limitations. Furthermore, the trained models enable rapid characterization, without the need for more expensive DFT calculations. acknowledgement: The authors express their gratitude to Professor Dr. Peter Chen for his continued support. The authors acknowledge the Branco Weiss Fellowship for supporting this research as part of a Society in Science grant and the Israel Science Foundation for financial support (Grant No. 1745/23 to R.G.-P.). R.G.-P. is a Branco Weiss Fellow, a Horev Fellow, and an Alon Scholarship recipient. A.M.B. was supported by the ERC StG EARS and the Israeli Science Foundation. article_number: '144101' article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Yair full_name: Davidson, Yair last_name: Davidson - first_name: Aviad full_name: Philipp, Aviad last_name: Philipp - first_name: Sabyasachi full_name: Chakraborty, Sabyasachi last_name: Chakraborty - first_name: Alexander full_name: Bronstein, Alexander id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6 last_name: Bronstein orcid: 0000-0001-9699-8730 - first_name: Renana full_name: Gershoni-Poranne, Renana last_name: Gershoni-Poranne citation: ama: Davidson Y, Philipp A, Chakraborty S, Bronstein AM, Gershoni-Poranne R. How local is “local”? Deep learning reveals locality of the induced magnetic field of polycyclic aromatic hydrocarbons. Journal of Chemical Physics. 2025;162(14). doi:10.1063/5.0257558 apa: Davidson, Y., Philipp, A., Chakraborty, S., Bronstein, A. M., & Gershoni-Poranne, R. (2025). How local is “local”? Deep learning reveals locality of the induced magnetic field of polycyclic aromatic hydrocarbons. Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0257558 chicago: Davidson, Yair, Aviad Philipp, Sabyasachi Chakraborty, Alex M. Bronstein, and Renana Gershoni-Poranne. “How Local Is ‘Local’? Deep Learning Reveals Locality of the Induced Magnetic Field of Polycyclic Aromatic Hydrocarbons.” Journal of Chemical Physics. AIP Publishing, 2025. https://doi.org/10.1063/5.0257558. ieee: Y. Davidson, A. Philipp, S. Chakraborty, A. M. Bronstein, and R. Gershoni-Poranne, “How local is ‘local’? Deep learning reveals locality of the induced magnetic field of polycyclic aromatic hydrocarbons,” Journal of Chemical Physics, vol. 162, no. 14. AIP Publishing, 2025. ista: Davidson Y, Philipp A, Chakraborty S, Bronstein AM, Gershoni-Poranne R. 2025. How local is “local”? Deep learning reveals locality of the induced magnetic field of polycyclic aromatic hydrocarbons. Journal of Chemical Physics. 162(14), 144101. mla: Davidson, Yair, et al. “How Local Is ‘Local’? Deep Learning Reveals Locality of the Induced Magnetic Field of Polycyclic Aromatic Hydrocarbons.” Journal of Chemical Physics, vol. 162, no. 14, 144101, AIP Publishing, 2025, doi:10.1063/5.0257558. short: Y. Davidson, A. Philipp, S. Chakraborty, A.M. Bronstein, R. Gershoni-Poranne, Journal of Chemical Physics 162 (2025). corr_author: '1' date_created: 2025-04-20T22:01:28Z date_published: 2025-04-14T00:00:00Z date_updated: 2026-09-14T07:44:59Z day: '14' ddc: - '000' department: - _id: AlBr doi: 10.1063/5.0257558 external_id: isi: - '001466311300030' pmid: - '40197568' file: - access_level: open_access checksum: 20a31a4c506b52de863bab7d3ff989ef content_type: application/pdf creator: dernst date_created: 2025-04-22T09:27:43Z date_updated: 2025-04-22T09:27:43Z file_id: '19606' file_name: 2025_JourChemicalPhysics_Davidson.pdf file_size: 7812182 relation: main_file success: 1 file_date_updated: 2025-04-22T09:27:43Z fulldoi: https://doi.org/10.1063/5.0257558 has_accepted_license: '1' intvolume: ' 162' isi: 1 issue: '14' language: - iso: eng license: https://creativecommons.org/licenses/by-nc/4.0/ month: '04' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 1b39bd8c-ab3c-11f0-a172-a4c5bf64093b grant_number: '863839' name: Acoustics-based drone navigation and interaction publication: Journal of Chemical Physics publication_identifier: eissn: - 1089-7690 issn: - 0021-9606 publication_status: published publisher: AIP Publishing quality_controlled: '1' related_material: link: - relation: software url: https://gitlab.com/porannegroup/magnetic_locality scopus_import: '1' status: public title: How local is “local”? Deep learning reveals locality of the induced magnetic field of polycyclic aromatic hydrocarbons tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) short: CC BY-NC (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 162 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '17468' abstract: - lang: eng text: Oxygen redox chemistry is central to life1 and many human-made technologies, such as in energy storage2,3,4. The large energy gain from oxygen redox reactions is often connected with the occurrence of harmful reactive oxygen species3,5,6. Key species are superoxide and the highly reactive singlet oxygen3,4,5,6,7, which may evolve from superoxide. However, the factors determining the formation of singlet oxygen, rather than the relatively unreactive triplet oxygen, are unknown. Here we report that the release of triplet or singlet oxygen is governed by individual Marcus normal and inverted region behaviour. We found that as the driving force for the reaction increases, the initially dominant evolution of triplet oxygen slows down, and singlet oxygen evolution becomes predominant with higher maximum kinetics. This behaviour also applies to the widely observed superoxide disproportionation, in which one superoxide is oxidized by another, in both non-aqueous and aqueous systems, with Lewis and Brønsted acidity controlling the driving forces. Singlet oxygen yields governed by these conditions are relevant, for example, in batteries or cellular organelles in which superoxide forms. Our findings suggest ways to understand and control spin states and kinetics in oxygen redox chemistry, with implications for fields, including life sciences, pure chemistry and energy storage. acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: M-Shop - _id: ScienComp acknowledgement: S.A.F. thanks the Institute of Science and Technology Austria (ISTA) for the support. The Scientific Service Units of ISTA supported this research through resources provided by the Imaging and Optics Facility, the Lab Support Facility, the Miba Machine Shop and Scientific Computing. This research was partly funded by the Austrian Science Fund (FWF) (10.55776/P37169 and 10.55776/COE5). For open access purposes, the author has applied for a CC BY public copyright licence to any author-accepted manuscript version arising from this submission. R.H. acknowledges funding through CZI grant DAF2020-225401 (10.37921/120055ratwvi) from the Chan Zuckerberg Initiative DAF, an advised fund of Silicon Valley Community Foundation (10.13039/100014989). H.T.K.N. acknowledges funding by the European Commission Erasmus Mundus Joint Masters programme. We thank M. Sixt and M. Chinon for the discussions about O-redox in life and R. Jethwa for proofreading. Open access funding was provided by ISTA. article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Soumyadip full_name: Mondal, Soumyadip id: d25d21ef-dc8d-11ea-abe3-ec4576307f48 last_name: Mondal - first_name: Huyen T.K. full_name: Nguyen, Huyen T.K. last_name: Nguyen - first_name: Robert full_name: Hauschild, Robert id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87 last_name: Hauschild orcid: 0000-0001-9843-3522 - first_name: Stefan Alexander full_name: Freunberger, Stefan Alexander id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425 last_name: Freunberger orcid: 0000-0003-2902-5319 citation: ama: Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. 2025;646(8085):601–605. doi:10.1038/s41586-025-09587-7 apa: Mondal, S., Nguyen, H. T. K., Hauschild, R., & Freunberger, S. A. (2025). Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. Springer Nature. https://doi.org/10.1038/s41586-025-09587-7 chicago: Mondal, Soumyadip, Huyen T.K. Nguyen, Robert Hauschild, and Stefan Alexander Freunberger. “Marcus Kinetics Control Singlet and Triplet Oxygen Evolving from Superoxide.” Nature. Springer Nature, 2025. https://doi.org/10.1038/s41586-025-09587-7. ieee: S. Mondal, H. T. K. Nguyen, R. Hauschild, and S. A. Freunberger, “Marcus kinetics control singlet and triplet oxygen evolving from superoxide,” Nature, vol. 646, no. 8085. Springer Nature, pp. 601–605, 2025. ista: Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. 2025. Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. 646(8085), 601–605. mla: Mondal, Soumyadip, et al. “Marcus Kinetics Control Singlet and Triplet Oxygen Evolving from Superoxide.” Nature, vol. 646, no. 8085, Springer Nature, 2025, pp. 601–605, doi:10.1038/s41586-025-09587-7. short: S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605. corr_author: '1' date_created: 2024-08-29T10:40:23Z date_published: 2025-10-16T00:00:00Z date_updated: 2026-09-16T06:53:54Z day: '16' ddc: - '540' department: - _id: StFr - _id: Bio doi: 10.1038/s41586-025-09587-7 external_id: isi: - '001586378900001' pmid: - '41044415' file: - access_level: open_access checksum: b507ddd23df0388aa65d04dc9b00fe3d content_type: application/pdf creator: dernst date_created: 2025-10-20T10:26:13Z date_updated: 2025-10-20T10:26:13Z file_id: '20500' file_name: 2025_Nature_Mondal.pdf file_size: 3809247 relation: main_file success: 1 file_date_updated: 2025-10-20T10:26:13Z fulldoi: https://doi.org/10.1038/s41586-025-09587-7 has_accepted_license: '1' intvolume: ' 646' isi: 1 issue: '8085' language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 601–605 pmid: 1 project: - _id: 8df062be-16d5-11f0-9cad-f559b6612c7e grant_number: P37169 name: Singlet oxygen in non-aqueous oxygen redox chemistry - _id: c08e9ad1-5a5b-11eb-8a69-9d1cf3b07473 grant_number: CZI01 name: Tools for automation and feedback microscopy - _id: 5eaf4378-b033-11f1-b276-f928018a46c1 grant_number: COE05 name: Materials for Energy Conversion and Storage (Freunberger) publication: Nature publication_identifier: eissn: - 1476-4687 issn: - 0028-0836 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: link: - description: News on ISTA website relation: press_release url: https://ista.ac.at/en/news/taming-the-bad-oxygen/ scopus_import: '1' status: public title: Marcus kinetics control singlet and triplet oxygen evolving from superoxide tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 646 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '19743' abstract: - lang: eng text: The possibility of errors in human-engineered formal verification software, such as model checkers, poses a serious threat to the purpose of these tools. An established approach to mitigate this problem are certificates—lightweight, easy-to-check proofs of the verification results. In this paper, we develop novel certificates for model checking of Markov decision processes (MDPs) with quantitative reachability and expected reward properties. Our approach is conceptually simple and relies almost exclusively on elementary fixed point theory. Our certificates work for arbitrary finite MDPs and can be readily computed with little overhead using standard algorithms. We formalize the soundness of our certificates in Isabelle/HOL and provide a formally verified certificate checker. Moreover, we augment existing algorithms in the probabilistic model checker Storm with the ability to produce certificates and demonstrate practical applicability by conducting the first formal certification of the reference results in the Quantitative Verification Benchmark Set. acknowledgement: This project has received funding from the ERC CoG 863818 (ForM-SMArt), the Austrian Science Fund (FWF) 10.55776/COE12, a KI-Starter grant from the Ministerium für Kultur und Wissenschaft NRW, the DFG RTG 378803395 (ConVeY), the EU’s Horizon 2020 research and innovation programmes under the Marie Sklodowska-Curie grant agreement Nos. 101034413 (IST-BRIDGE) and 101008233 (MISSION), and the DFG RTG 2236 (UnRAVeL). Experiments were performed with computing resources granted by RWTH Aachen University under project rwth1632. alternative_title: - LNCS article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Tim full_name: Quatmann, Tim last_name: Quatmann - first_name: Maximilian full_name: Schäffeler, Maximilian last_name: Schäffeler - first_name: Maximilian full_name: Weininger, Maximilian id: 02ab0197-cc70-11ed-ab61-918e71f56881 last_name: Weininger orcid: 0000-0002-0163-2152 - first_name: Tobias full_name: Winkler, Tobias last_name: Winkler - first_name: Daniel full_name: Zilken, Daniel id: d8ebc24a-3f98-11f0-9044-8296d4f39ab3 last_name: Zilken citation: ama: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Fixed point certificates for reachability and expected rewards in MDPs. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:130-151. doi:10.1007/978-3-031-90653-4_7' apa: 'Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). Fixed point certificates for reachability and expected rewards in MDPs. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 130–151). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_7' chicago: Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:130–51. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_7. ieee: K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, and D. Zilken, “Fixed point certificates for reachability and expected rewards in MDPs,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 130–151. ista: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. 2025. Fixed point certificates for reachability and expected rewards in MDPs. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697, 130–151.' mla: Chatterjee, Krishnendu, et al. “Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 130–51, doi:10.1007/978-3-031-90653-4_7. short: K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151. conference: end_date: 2025-05-08 location: Hamilton, ON, Canada name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2025-05-03 corr_author: '1' date_created: 2025-05-25T22:17:09Z date_published: 2025-05-01T00:00:00Z date_updated: 2026-09-16T06:57:17Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.1007/978-3-031-90653-4_7 ec_funded: 1 external_id: arxiv: - '2501.11467' file: - access_level: open_access checksum: 64b7f46ef05649b87b827248045c7645 content_type: application/pdf creator: dernst date_created: 2025-06-02T10:49:52Z date_updated: 2025-06-02T10:49:52Z file_id: '19772' file_name: 2025_TACAS_ChatterjeeKrish.pdf file_size: 732136 relation: main_file success: 1 file_date_updated: 2025-06-02T10:49:52Z fulldoi: https://doi.org/10.1007/978-3-031-90653-4_7 has_accepted_license: '1' intvolume: ' 15697' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: 130-151 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' - _id: 4029cfc7-b034-11f1-9e55-88ab2ff3b6ee grant_number: COE12 name: Bilateral Artificial Intelligence (Chatterjee) publication: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems publication_identifier: eissn: - 1611-3349 isbn: - '9783031906527' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '19771' relation: research_data status: public scopus_import: '1' status: public title: Fixed point certificates for reachability and expected rewards in MDPs tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15697 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '19740' abstract: - lang: eng text: Two standard models for probabilistic systems are Markov chains (MCs) and Markov decision processes (MDPs). Classic objectives for such probabilistic models for control and planning problems are reachability and stochastic shortest path. The widely studied algorithmic approach for these problems is the Value Iteration (VI) algorithm which iteratively applies local updates called Bellman updates. There are many practical approaches for VI in the literature but they all require exponentially many Bellman updates for MCs in the worst case. A preprocessing step is an algorithm that is discrete, graph-theoretical, and requires linear space. An important open question is whether, after a polynomial-time preprocessing, VI can be achieved with sub-exponentially many Bellman updates. In this work, we present a new approach for VI based on guessing values. Our theoretical contributions are twofold. First, for MCs, we present an almost-linear-time preprocessing algorithm after which, along with guessing values, VI requires only subexponentially many Bellman updates. Second, we present an improved analysis of the speed of convergence of VI for MDPs. Finally, we present a practical algorithm for MDPs based on our new approach. Experimental results show that our approach provides a considerable improvement over existing VI-based approaches on several benchmark examples from the literature. acknowledgement: This research was partially supported by the ERC CoG 863818 (ForM-SMArt) grant and Austrian Science Fund (FWF) 10.55776/COE12 grant. alternative_title: - LNCS article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Mahdi full_name: Jafariraviz, Mahdi last_name: Jafariraviz - first_name: Raimundo J full_name: Saona Urmeneta, Raimundo J id: BD1DF4C4-D767-11E9-B658-BC13E6697425 last_name: Saona Urmeneta orcid: 0000-0001-5103-038X - first_name: Jakub full_name: Svoboda, Jakub id: 130759D2-D7DD-11E9-87D2-DE0DE6697425 last_name: Svoboda orcid: 0000-0002-1419-3267 citation: ama: 'Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. Value iteration with guessing for Markov chains and Markov decision processes. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:217-236. doi:10.1007/978-3-031-90653-4_11' apa: 'Chatterjee, K., Jafariraviz, M., Saona Urmeneta, R. J., & Svoboda, J. (2025). Value iteration with guessing for Markov chains and Markov decision processes. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 217–236). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_11' chicago: Chatterjee, Krishnendu, Mahdi Jafariraviz, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Value Iteration with Guessing for Markov Chains and Markov Decision Processes.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:217–36. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_11. ieee: K. Chatterjee, M. Jafariraviz, R. J. Saona Urmeneta, and J. Svoboda, “Value iteration with guessing for Markov chains and Markov decision processes,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 217–236. ista: 'Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. 2025. Value iteration with guessing for Markov chains and Markov decision processes. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697, 217–236.' mla: Chatterjee, Krishnendu, et al. “Value Iteration with Guessing for Markov Chains and Markov Decision Processes.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 217–36, doi:10.1007/978-3-031-90653-4_11. short: K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236. conference: end_date: 2025-05-08 location: Hamilton, ON, Canada name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2025-05-03 corr_author: '1' date_created: 2025-05-25T22:17:06Z date_published: 2025-05-01T00:00:00Z date_updated: 2026-09-16T06:56:56Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.1007/978-3-031-90653-4_11 ec_funded: 1 external_id: arxiv: - '2505.06769' file: - access_level: open_access checksum: 45da6efbcbed20aada16c48c8e55e2d6 content_type: application/pdf creator: dernst date_created: 2025-06-02T07:31:12Z date_updated: 2025-06-02T07:31:12Z file_id: '19767' file_name: 2025_TACAS_Chatterjee.pdf file_size: 557481 relation: main_file success: 1 file_date_updated: 2025-06-02T07:31:12Z fulldoi: https://doi.org/10.1007/978-3-031-90653-4_11 has_accepted_license: '1' intvolume: ' 15697' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: 217-236 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 4029cfc7-b034-11f1-9e55-88ab2ff3b6ee grant_number: COE12 name: Bilateral Artificial Intelligence (Chatterjee) publication: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems publication_identifier: eissn: - 1611-3349 isbn: - '9783031906527' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Value iteration with guessing for Markov chains and Markov decision processes tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15697 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '19744' abstract: - lang: eng text: We consider the problem of refuting equivalence of probabilistic programs, i.e., the problem of proving that two probabilistic programs induce different output distributions. We study this problem in the context of programs with conditioning (i.e., with observe and score statements), where the output distribution is conditioned by the event that all the observe statements along a run evaluate to true, and where the probability densities of different runs may be updated via the score statements. Building on a recent work on programs without conditioning, we present a new equivalence refutation method for programs with conditioning. Our method is based on weighted restarting, a novel transformation of probabilistic programs with conditioning to the output equivalent probabilistic programs without conditioning that we introduce in this work. Our method is the first to be both a) fully automated, and b) providing provably correct answers. We demonstrate the applicability of our method on a set of programs from the probabilistic inference literature. acknowledgement: This work was partially supported by ERC CoG 863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/COE12. Petr Novotný is supported by the Czech Science Foundation grant no. GA23-06963S. alternative_title: - LNCS article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Ehsan full_name: Kafshdar Goharshadi, Ehsan id: 103b4fa0-896a-11ed-bdf8-87b697bef40d last_name: Kafshdar Goharshadi orcid: 0000-0002-8595-0587 - first_name: Petr full_name: Novotný, Petr id: 3CC3B868-F248-11E8-B48F-1D18A9856A87 last_name: Novotný - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: 'Chatterjee K, Goharshady E, Novotný P, Zikelic D. Refuting equivalence in probabilistic programs with conditioning. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:279-300. doi:10.1007/978-3-031-90653-4_14' apa: 'Chatterjee, K., Goharshady, E., Novotný, P., & Zikelic, D. (2025). Refuting equivalence in probabilistic programs with conditioning. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 279–300). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_14' chicago: Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic. “Refuting Equivalence in Probabilistic Programs with Conditioning.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:279–300. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_14. ieee: K. Chatterjee, E. Goharshady, P. Novotný, and D. Zikelic, “Refuting equivalence in probabilistic programs with conditioning,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 279–300. ista: 'Chatterjee K, Goharshady E, Novotný P, Zikelic D. 2025. Refuting equivalence in probabilistic programs with conditioning. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697, 279–300.' mla: Chatterjee, Krishnendu, et al. “Refuting Equivalence in Probabilistic Programs with Conditioning.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 279–300, doi:10.1007/978-3-031-90653-4_14. short: K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300. conference: end_date: 2025-05-08 location: Hamilton, ON, Canada name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2025-05-03 corr_author: '1' date_created: 2025-05-25T22:17:10Z date_published: 2025-05-01T00:00:00Z date_updated: 2026-09-16T06:57:43Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.1007/978-3-031-90653-4_14 ec_funded: 1 external_id: arxiv: - '2501.06579' file: - access_level: open_access checksum: 7dcd85e7e753bfa994c10b3cf9ebc185 content_type: application/pdf creator: dernst date_created: 2025-06-02T11:13:49Z date_updated: 2025-06-02T11:13:49Z file_id: '19773' file_name: 2025_TACAS_Chatterjee_Goharshadi.pdf file_size: 532181 relation: main_file success: 1 file_date_updated: 2025-06-02T11:13:49Z fulldoi: https://doi.org/10.1007/978-3-031-90653-4_14 has_accepted_license: '1' intvolume: ' 15697' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: 279-300 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 4029cfc7-b034-11f1-9e55-88ab2ff3b6ee grant_number: COE12 name: Bilateral Artificial Intelligence (Chatterjee) publication: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems publication_identifier: eissn: - 1611-3349 isbn: - '9783031906527' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Refuting equivalence in probabilistic programs with conditioning tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15697 year: '2025' ... --- OA_place: repository OA_type: green _id: '19667' abstract: - lang: eng text: The problem of checking satisfiability of linear real arithmetic (LRA) and non-linear real arithmetic (NRA) formulas has broad applications, in particular, they are at the heart of logic-related applications such as logic for artificial intelligence, program analysis, etc. While there has been much work on checking satisfiability of unquantified LRA and NRA formulas, the problem of checking satisfiability of quantified LRA and NRA formulas remains a significant challenge. The main bottleneck in the existing methods is a computationally expensive quantifier elimination step. In this work, we propose a novel method for efficient quantifier elimination in quantified LRA and NRA formulas. We propose a template-based Skolemization approach, where we automatically synthesize linear/polynomial Skolem functions in order to eliminate quantifiers in the formula. The key technical ingredient in our approach are Positivstellensätze theorems from algebraic geometry, which allow for an efficient manipulation of polynomial inequalities. Our method offers a range of appealing theoretical properties combined with a strong practical performance. On the theory side, our method is sound, semi-complete, and runs in subexponential time and polynomial space, as opposed to existing sound and complete quantifier elimination methods that run in doubly-exponential time and at least exponential space. On the practical side, our experiments show superior performance compared to state of the art SMT solvers in terms of the number of solved instances and runtime, both on LRA and on NRA benchmarks. acknowledgement: This work was partially funded by ERC CoG 863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/COE12. article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Ehsan full_name: Kafshdar Goharshadi, Ehsan id: 103b4fa0-896a-11ed-bdf8-87b697bef40d last_name: Kafshdar Goharshadi orcid: 0000-0002-8595-0587 - first_name: Mehrdad full_name: Karrabi, Mehrdad id: 67638922-f394-11eb-9cf6-f20423e08757 last_name: Karrabi orcid: 0009-0007-5253-9170 - first_name: Harshit J. full_name: Motwani, Harshit J. last_name: Motwani - first_name: Maximilian full_name: Seeliger, Maximilian last_name: Seeliger - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: 'Chatterjee K, Goharshady E, Karrabi M, Motwani HJ, Seeliger M, Zikelic D. Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11158-11166. doi:10.1609/aaai.v39i11.33213' apa: 'Chatterjee, K., Goharshady, E., Karrabi, M., Motwani, H. J., Seeliger, M., & Zikelic, D. (2025). Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11158–11166). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33213' chicago: Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, and Dorde Zikelic. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:11158–66. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33213. ieee: K. Chatterjee, E. Goharshady, M. Karrabi, H. J. Motwani, M. Seeliger, and D. Zikelic, “Quantified linear and polynomial arithmetic satisfiability via template-based skolemization,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11158–11166. ista: 'Chatterjee K, Goharshady E, Karrabi M, Motwani HJ, Seeliger M, Zikelic D. 2025. Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. Proceedings of the 39th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 11158–11166.' mla: Chatterjee, Krishnendu, et al. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 11, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–66, doi:10.1609/aaai.v39i11.33213. short: K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166. conference: end_date: 2025-03-04 location: Philadelphia, PA, United States name: 'AAAI: Conference on Artificial Intelligence' start_date: 2025-02-25 corr_author: '1' date_created: 2025-05-11T22:02:39Z date_published: 2025-04-11T00:00:00Z date_updated: 2026-09-16T06:55:21Z day: '11' department: - _id: KrCh doi: 10.1609/aaai.v39i11.33213 ec_funded: 1 external_id: arxiv: - '2412.16226' fulldoi: https://doi.org/10.1609/aaai.v39i11.33213 intvolume: ' 39' issue: '11' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2412.16226 month: '04' oa: 1 oa_version: Preprint page: 11158-11166 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 4029cfc7-b034-11f1-9e55-88ab2ff3b6ee grant_number: COE12 name: Bilateral Artificial Intelligence (Chatterjee) publication: Proceedings of the 39th AAAI Conference on Artificial Intelligence publication_identifier: eissn: - 2374-3468 issn: - 2159-5399 publication_status: published publisher: Association for the Advancement of Artificial Intelligence quality_controlled: '1' scopus_import: '1' status: public title: Quantified linear and polynomial arithmetic satisfiability via template-based skolemization type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 39 year: '2025' ... --- OA_place: repository OA_type: green _id: '19669' abstract: - lang: eng text: 'We consider a class of optimization problems defined by a system of linear equations with min and max operators. This class of optimization problems has been studied under restrictive conditions, such as, (C1) the halting or stability condition; (C2) the non-negative coefficients condition; (C3) the sum upto 1 condition; and (C4) the only min or only max operator condition. Several seminal results in the literature focus on special cases. For example, turn-based stochastic games correspond to conditions C2 and C3; and Markov decision process to conditions C2, C3, and C4. However, the systematic computational complexity study of all the cases has not been explored, which we address in this work. Some highlights of our results are: with conditions C2 and C4, and with conditions C3 and C4, the problem is NP-complete, whereas with condition C1 only, the problem is in UP intersects coUP. Finally, we establish the computational complexity of the decision problem of checking the respective conditions.' acknowledgement: This research was partially supported by the ERC CoG 863818 (ForM-SMArt) grant and the Austrian Science Fund (FWF) 10.55776/COE12 grant. article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Ruichen full_name: Luo, Ruichen id: b391db08-1ffe-11ee-8b67-d18ddcfb5a14 last_name: Luo - first_name: Raimundo J full_name: Saona Urmeneta, Raimundo J id: BD1DF4C4-D767-11E9-B658-BC13E6697425 last_name: Saona Urmeneta orcid: 0000-0001-5103-038X - first_name: Jakub full_name: Svoboda, Jakub id: 130759D2-D7DD-11E9-87D2-DE0DE6697425 last_name: Svoboda orcid: 0000-0002-1419-3267 citation: ama: 'Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. Linear equations with min and max operators: Computational complexity. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11150-11157. doi:10.1609/aaai.v39i11.33212' apa: 'Chatterjee, K., Luo, R., Saona Urmeneta, R. J., & Svoboda, J. (2025). Linear equations with min and max operators: Computational complexity. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11150–11157). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33212' chicago: 'Chatterjee, Krishnendu, Ruichen Luo, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Linear Equations with Min and Max Operators: Computational Complexity.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:11150–57. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33212.' ieee: 'K. Chatterjee, R. Luo, R. J. Saona Urmeneta, and J. Svoboda, “Linear equations with min and max operators: Computational complexity,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11150–11157.' ista: 'Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. 2025. Linear equations with min and max operators: Computational complexity. Proceedings of the 39th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 11150–11157.' mla: 'Chatterjee, Krishnendu, et al. “Linear Equations with Min and Max Operators: Computational Complexity.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 11, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–57, doi:10.1609/aaai.v39i11.33212.' short: K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157. conference: end_date: 2025-03-04 location: Philadelphia, PA, United States name: 'AAAI: Conference on Artificial Intelligence' start_date: 2025-02-25 corr_author: '1' date_created: 2025-05-11T22:02:40Z date_published: 2025-04-11T00:00:00Z date_updated: 2026-09-16T06:55:47Z day: '11' department: - _id: KrCh doi: 10.1609/aaai.v39i11.33212 ec_funded: 1 external_id: arxiv: - '2412.12228' fulldoi: https://doi.org/10.1609/aaai.v39i11.33212 intvolume: ' 39' issue: '11' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2412.12228 month: '04' oa: 1 oa_version: Preprint page: 11150-11157 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 4029cfc7-b034-11f1-9e55-88ab2ff3b6ee grant_number: COE12 name: Bilateral Artificial Intelligence (Chatterjee) publication: Proceedings of the 39th AAAI Conference on Artificial Intelligence publication_identifier: eissn: - 2374-3468 issn: - 2159-5399 publication_status: published publisher: Association for the Advancement of Artificial Intelligence quality_controlled: '1' scopus_import: '1' status: public title: 'Linear equations with min and max operators: Computational complexity' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 39 year: '2025' ... --- OA_place: repository OA_type: green _id: '19771' abstract: - lang: eng text: "This artifact allows to review and reproduce the Isabelle proofs and practical experiments from the paper *Fixed Point Certificates for Reachability and Expected Rewards in MDPs*.\r\nThe contents are two-fold:\r\nFirst, the artifact contains a formally verified certificate checker for the certificates presented in the paper.\r\nThe formal Isabelle/HOL proofs of the background theory can be inspected, checked by Isabelle and the code extraction can be retraced.\r\n\r\nSecond, the artifact contains a modified version of the model checking tool `Storm` with support for certificate generation. Together with the provided scripts and benchmark files, this allows to reproduce the experiments from the paper.\r\nAn appropriate subset of the experiments is given to allow a review in a timely manner. In addition, original logfiles from our experiments are provided, allowing a detailed inspection.\r\n\r\nThe package includes convenient installation scripts for [the TACAS 2023 VM](https://doi.org/10.5281/zenodo.7113223) (based on Ubuntu 22.04).\r\nA native installation on Linux or macOS systems (including the newer ARM-based machines) is also possible." article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Tim full_name: Quatmann, Tim last_name: Quatmann - first_name: Maximilian full_name: Schäffeler, Maximilian last_name: Schäffeler - first_name: Maximilian full_name: Weininger, Maximilian id: 02ab0197-cc70-11ed-ab61-918e71f56881 last_name: Weininger orcid: 0000-0002-0163-2152 - first_name: Tobias full_name: Winkler, Tobias last_name: Winkler - first_name: Daniel full_name: Zilken, Daniel id: d8ebc24a-3f98-11f0-9044-8296d4f39ab3 last_name: Zilken citation: ama: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Artifact: Fixed point certificates for reachability and expected rewards in MDPs. 2025. doi:10.5281/ZENODO.14626585' apa: 'Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). Artifact: Fixed point certificates for reachability and expected rewards in MDPs. Zenodo. https://doi.org/10.5281/ZENODO.14626585' chicago: 'Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14626585.' ieee: 'K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, and D. Zilken, “Artifact: Fixed point certificates for reachability and expected rewards in MDPs.” Zenodo, 2025.' ista: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. 2025. Artifact: Fixed point certificates for reachability and expected rewards in MDPs, Zenodo, 10.5281/ZENODO.14626585.' mla: 'Chatterjee, Krishnendu, et al. Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs. Zenodo, 2025, doi:10.5281/ZENODO.14626585.' short: K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025). date_created: 2025-06-02T10:13:24Z date_published: 2025-01-09T00:00:00Z date_updated: 2026-09-16T06:57:17Z day: '09' ddc: - '000' department: - _id: KrCh doi: 10.5281/ZENODO.14626585 fulldoi: https://doi.org/10.5281/ZENODO.14626585 main_file_link: - open_access: '1' url: https://doi.org/10.5281/ZENODO.14626585 month: '01' oa: 1 oa_version: Published Version publisher: Zenodo related_material: record: - id: '19743' relation: used_in_publication status: public status: public title: 'Artifact: Fixed point certificates for reachability and expected rewards in MDPs' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: research_data_reference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher _id: '19903' abstract: - lang: eng text: "Cooperation, that is, one person paying a cost for another's benefit, is a fundamental principle without which no form of society could exist. The extent to which humans cooperate with each other is also an essential feature that differentiates them from other animals. Cooperation occurs even in the absence of altruistic motivations, when it is selfishly incentivised by the expectation of a future reward. For example, many economic interactions are well described that way. This kind of cooperation requires that people exhibit reciprocal behaviour that acts as a mechanism that rewards cooperation.\r\nWith game-theoretic models, it is possible to formally study potential such mechanisms and under what conditions they can exist. This thesis contributes to this effort by analysing recently introduced models of cooperation that advance on previous work by taking into account the potential for pre-existing inequality among cooperating individuals as well as the different forms that reciprocity can take.\r\nIndividuals may differ both intrinsically, in their abilities, as well as extrinsically, in the amount of resources they have available. Allowing for such differences in a model of cooperation helps to understand how inequality affects the potential for, and outcomes of, cooperation among unequals. In this thesis, it is shown that in the presence of intrinsic inequality, a similar unequal distribution of resources can increase the potential for cooperation. This effect is stronger the smaller the group is in which cooperation takes place. It is also shown that under particular assumptions, if the unequal members of a group vary the size of their contributions to a cooperative effort over time, they can thereby increase their efficiency and improve the collective outcome.\r\nCooperative behaviour in a two-person interaction can be rewarded either by direct reciprocation whenever the same two people interact again, or indirectly by a third party who observed the interaction. In the latter case of indirect reciprocity, individuals are proximally rewarded by a good reputation, which ultimately translates to being rewarded with cooperative behaviour by others. This mechanism can enable selfishly motivated cooperation even in circumstances where individuals are unlikely to meet again, akin to how money facilitates trade. While these two forms of reciprocity have mostly been studied in isolation, this thesis analyses both direct and indirect reciprocity in a general model in order to compare their relative effectiveness under different circumstances. The contribution of this thesis is an extension of previous work regarding a specific kind of interaction, whose parameters allow for convenient mathematical analysis, to the most general set of possible interactions." acknowledgement: "The research for this thesis was supported by the European Research Council\r\n(grant agreements No. 863818 and No. 850529), the European Union’s Horizon 2020 research and innovation programme (Marie Skłodowska-Curie grant agreement No. 754411),\r\nthe Austrian Science Fund (grant DOI 10.55776/COE12), the French Agence Nationale\r\nde la Recherche under the Programme d’investissements d’avenir (project reference 17-\r\nEURE-0010) and the Australian Government through the Australian Research Council\r\n(grant No. SR200100005, “Securing Antarctica’s Environmental Future”)." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Valentin full_name: Hübner, Valentin id: 2c8aa207-dc7d-11ea-9b2f-f22972ecd910 last_name: Hübner orcid: 0009-0001-5009-4987 citation: ama: Hübner V. Reciprocity and inequality in social dilemmas. 2025. doi:10.15479/AT-ISTA-19903 apa: Hübner, V. (2025). Reciprocity and inequality in social dilemmas. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19903 chicago: Hübner, Valentin. “Reciprocity and Inequality in Social Dilemmas.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19903. ieee: V. Hübner, “Reciprocity and inequality in social dilemmas,” Institute of Science and Technology Austria, 2025. ista: Hübner V. 2025. Reciprocity and inequality in social dilemmas. Institute of Science and Technology Austria. mla: Hübner, Valentin. Reciprocity and Inequality in Social Dilemmas. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19903. short: V. Hübner, Reciprocity and Inequality in Social Dilemmas, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-06-25T13:50:10Z date_published: 2025-06-25T00:00:00Z date_updated: 2026-09-16T06:58:24Z day: '25' ddc: - '519' degree_awarded: PhD department: - _id: GradSch - _id: KrCh doi: 10.15479/AT-ISTA-19903 doi_confirm: '1' ec_funded: 1 file: - access_level: closed checksum: 794c02f8c82ca59ba6dda3bd7eed871a content_type: application/x-xz creator: vhuebner date_created: 2025-06-25T13:38:07Z date_updated: 2025-06-25T13:38:07Z file_id: '19905' file_name: Thesis Valentin Hübner source.tar.xz file_size: 6192760 relation: source_file - access_level: open_access checksum: ac56063d81c81e40322b6ff5a8c4912e content_type: application/pdf creator: vhuebner date_created: 2025-07-09T13:37:00Z date_updated: 2025-07-09T13:37:00Z file_id: '19976' file_name: Thesis Valentin Hübner.pdf file_size: 4837864 relation: main_file file_date_updated: 2025-07-09T13:37:00Z fulldoi: https://doi.org/10.15479/AT-ISTA-19903 has_accepted_license: '1' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: '157' project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: 4029cfc7-b034-11f1-9e55-88ab2ff3b6ee grant_number: COE12 name: Bilateral Artificial Intelligence (Chatterjee) publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '19843' relation: part_of_dissertation status: public - id: '15083' relation: part_of_dissertation status: public - id: '19074' relation: part_of_dissertation status: public status: public supervisor: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X title: Reciprocity and inequality in social dilemmas tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) short: CC BY-NC (4.0) type: dissertation user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ...