Conference Paper (938)
361.
Conference Paper
Diffused Redundancy in Pre-trained Representations. In: Advances in Neural Information Processing Systems 36, pp. 4055 - 4079 (Eds. Oh, A.; Neumann, T.; Globerson, A.; Saenko, K.; Hartdt, M. et al.). Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, LA, USA, December 10, 2023 - December 16, 2023. Curran Associates, Inc (2023)
362.
Conference Paper
Online Defense Strategies for Reinforcement Learning Against Adaptive Reward Poisoning. In: Proceedings of The 26th International Conference on Artificial Intelligence and Statistics, pp. 335 - 358 (Eds. Ruiz, F.; Dy, J.; van de Meent, J.-W.). 26th International Conference on Artificial Intelligence and Statistics, Valencia, Spain, April 25, 2023 - April 27, 2023. PMRL (2023)
363.
Conference Paper
On the Within-Group Fairness of Screening Classifiers. In: Proceedings of the 40th International Conference on Machine Learning, pp. 26495 - 26516 (Eds. Krause, A.; Brunskill, E.; Cho, K.; Engelhardt, B.; Sabato, S. et al.). 40th International Conference on Machine Learning, Honolulu, Hawaii, USA, July 23, 2023 - July 29, 2023. (2023)
364.
Conference Paper
Joint Processing of Linguistic Properties in Brains and Language Models. In: Advances in Neural Information Processing Systems 36, pp. 18001 - 18014 (Eds. Oh, A.; Neumann, T.; Globerson, A.; Saenko, K.; Hartdt, M. et al.). Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, LA, USA, December 10, 2023 - December 16, 2023. Curran Associates, Inc (2023)
365.
Conference Paper
Green Fuzzer Benchmarking. In: ISSTA '23, pp. 1396 - 1406 (Eds. Just, R.; Fraser, G.). 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, WA, USA, July 17, 2023 - July 21, 2023. ACM, New York, NY (2023)
366.
Conference Paper
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. In: Machine Learning and Knowledge Extraction, pp. 123 - 140 (Eds. Holzinger, A.; Kieseberg, P.; Cabitza, F.; Campagner, A.; Tjoa, A. M. et al.). International Cross-Domain Conference for Machine Learning & Knowledge Extraction , Benevento, Italy, August 29, 2023 - September 01, 2023. Springer, Berlin (2023)
367.
Conference Paper
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. In: ICER '23, pp. 41 - 42 (Eds. Fisler, K.; Denny, P.; Franklin, D.). ACM Conference on International Computing Education Research, Chicago, IL, USA, August 07, 2023 - August 11, 2023. ACM, New York, NY (2023)
368.
Conference Paper
Do Invariances in Deep Neural Networks Align with Human Perception? In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, pp. 6507 - 6515. 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, February 07, 2023 - February 14, 2023. AAAI, Palo Alto, CA (2023)
369.
Conference Paper
Solving Odd-Fair Parity Games. In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 34, pp. 1 - 24 (Eds. Bouyer, P.; Srinivasan, S.). 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, December 18, 2023 - December 20, 2023. Schloss Dagstuhl, Wadern (2023)
370.
Conference Paper
Evaluating ChatGPT and GPT-4 for Visual Programming. In: ICER '23, pp. 14 - 15 (Eds. Fisler, K.; Denny, P.; Franklin, D.). ACM Conference on International Computing Education Research, Chicago, IL, USA, August 07, 2023 - August 11, 2023. ACM, New York, NY (2023)
371.
Conference Paper
Finding Counterfactually Optimal Action Sequences in Continuous State Spaces. In: Advances in Neural Information Processing Systems 36, pp. 3220 - 3247 (Eds. Oh, A.; Neumann, T.; Globerson, A.; Saenko, K.; Hartdt, M. et al.). Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, LA, USA, December 10, 2023 - December 16, 2023. Curran Associates, Inc (2023)
372.
Conference Paper
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. In: HSCC 2023, 9, pp. 1 - 7. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, May 10, 2023 - May 12, 2023. ACM, New York, NY (2023)
373.
Conference Paper
The Benefit of Hindsight: Tracing Edge-Cases in Distributed Systems. In: 20th USENIX Symposium on Networked Systems Design and Implementation, pp. 321 - 339. 20th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, USA, April 17, 2023 - April 19, 2023. USENIX (2023)
374.
Conference Paper
On the Fairness of Time-Critical Influence Maximization in Social Networks. In: ICDE 2022, pp. 1541 - 1542. 38th IEEE International Conference on Data Engineering, Kuala Lumpur, Malaysia (Virtual Event), May 09, 2022 - May 12, 2022. IEEE, Piscataway, NJ (2022)
375.
Conference Paper
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. In: 33rd International Conference on Concurrency Theory, 10, pp. 1 - 16 (Eds. Klin, B.; Lasota, S.; Muscholl, A.). 33rd International Conference on Concurrency Theory, Warsaw, Poland, September 12, 2022 - September 16, 2022. Schloss Dagstuhl, Wadern (2022)
376.
Conference Paper
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 81 - 98 (Eds. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, April 02, 2022 - April 07, 2022. Springer, Berlin (2022)
377.
Conference Paper
Admissible Policy Teaching through Reward Design. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, pp. 6037 - 6045. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, February 22, 2022 - March 01, 2022. AAAI, Palo Alto, CA (2022)
378.
Conference Paper
Community Under Surveillance: Impacts of Marginalization on an Online Labor Forum. In: Proceedings of the Sixteenth International Conference on Web and Social Media, pp. 12 - 21. 16h International Conference on Web and Social Media, Atlanta, GA, USA, June 06, 2021 - June 09, 2021. AAAI (2022)
379.
Conference Paper
Existential Definability over the Subword Ordering. In: 39th International Symposium on Theoretical Aspects of Computer Science, 7, pp. 1 - 15 (Eds. Berenbrink, P.; Monmege, B.). 39th International Symposium on Theoretical Aspects of Computer Science, Marseille, France (Virtual Conference), March 15, 2022 - March 18, 2022. Schloss Dagstuhl, Wadern (2022)
380.
Conference Paper
Verified Compilation and Optimization of Floating-Point Programs in CakeML. In: 36th European Conference on Object-Oriented Programming, 1, pp. 1 - 28 (Eds. Ali, K.; Vitek, J.). 36th European Conference on Object-Oriented Programming, Berlin, Germany, June 06, 2022 - June 10, 2022. Schloss Dagstuhl, Wadern (2022)