Hasil untuk "Speculative philosophy"

Igor Lemos Moreira

Esta resenha analisa a coletânea O desafio do diálogo: reflexões sobre história oral nos 30 anos da ABHO, organizada por Marieta de Moraes Ferreira e Ricardo Santhiago. A obra reúne dezesseis artigos que mapeiam a trajetória da História Oral no Brasil, abordando suas bases teóricas, metodológicas e temáticas. O livro destaca a centralidade do diálogo e da colaboração na prática historiográfica, evidenciando o papel da Associação Brasileira de História Oral (ABHO) como eixo estruturante do campo. A coletânea apresenta-se como um balanço crítico da área, além de um convite à reflexão e ao engajamento de novos pesquisadores.

Weiqing He, Xiang Li, Li Shen et al.

Watermarking is a principled approach for tracing the provenance of large language model (LLM) outputs, but its deployment in practice is hindered by inference inefficiency. Speculative sampling accelerates inference, with efficiency improving as the acceptance rate between draft and target models increases. Yet recent work reveals a fundamental trade-off: higher watermark strength reduces acceptance, preventing their simultaneous achievement. We revisit this trade-off and show it is not absolute. We introduce a quantitative measure of watermark strength that governs statistical detectability and is maximized when tokens are deterministic functions of pseudorandom numbers. Using this measure, we fully characterize the trade-off as a constrained optimization problem and derive explicit Pareto curves for two existing watermarking schemes. Finally, we introduce a principled mechanism that injects pseudorandomness into draft-token acceptance, ensuring maximal watermark strength while maintaining speculative sampling efficiency. Experiments further show that this approach improves detectability without sacrificing efficiency. Our findings uncover a principle that unites speculative sampling and watermarking, paving the way for their efficient and practical deployment.

Kieran Hymas, Hiu Ming Lau, Kareem Raslan et al.

Speculative trading can drive pronounced market instabilities, yet existing regulatory and macroprudential tools intervene only after such dynamics emerge. Quantum technologies offer a fundamentally new means of shaping economic behavior by introducing non-classical correlations between decision-makers. Here we demonstrate a prototype quantum stock market in which entanglement between traders' valuations mitigates the runaway devaluation characteristic of speculative busts. Using reinforcement-learning agents trading a single commodity, we show that replacing classical valuations with quantum-correlated qubit-encoded valuations stabilizes prices and increases the AI traders' net worth relative to a classical market, where instead agents rapidly converge to liquidation strategies that collapse the asset value. To explain this behavior, we formulate and analyze a quantized version of the $p$-guessing game, a canonical model of speculative dynamics. Quantum entanglement and phase coherence reshape the strategic landscape, eliminating the pathological pure-strategy Nash equilibrium that drives market collapse in the classical game, while mixed-strategy equilibria remain non-degenerate and avoid bust-type outcomes. These results identify quantum correlations as a novel, endogenous mechanism for market stabilization and, more broadly, demonstrate the utility of multi-agent reinforcement learning algorithms for uncovering optimal strategies in complex decision-making frameworks with quantum degrees of freedom.

Ofir Ben Shoham

Speculative decoding accelerates inference for Large Language Models by using a lightweight draft model to propose candidate tokens that are verified in parallel by a larger target model. Prior work shows that the draft model often dominates speculative decoding latency, since it generates tokens sequentially and incurs high cost from its language modeling head as vocabulary size grows. This exposes a fundamental trade-off in draft model design: larger vocabularies improve token coverage and agreement with the target model, but incur higher draft latency, while smaller vocabularies reduce latency at the risk of missing tokens required for accurate draft generation. We address this trade-off through vocabulary trimming for draft models, motivated by the observation that domain-specific workloads use only a small fraction of the full vocabulary. We cast draft vocabulary selection as a constrained optimization problem that balances token coverage and draft latency. Coverage is computed over assistant responses in the training data, while latency is estimated using architecture-aware FLOPs that capture the cost of the language modeling head as a function of vocabulary size. We optimize a utility function with a Tree-structured Parzen Estimator to efficiently explore the coverage-latency Pareto frontier under a minimum coverage constraint. Experiments show improved speculative decoding throughput while reducing draft vocabularies by up to 97% with high coverage. On domain-specific tasks, we achieve up to 16% latency reduction and 20% throughput improvement, and up to 6.7% throughput gains on diverse out-of-distribution tasks.

Wojciech Ryba

This paper demonstrates the symbiotic, real bond between the existence of the state, culture and religion, through which a person living in a national community can strive to achieve Aristotelian eudaimonia. The expression of this bond can be found, among other things, in the solemn Preamble to the Constitution of the Republic of Poland of April 2, 1997, in which the Constituent Assembly, establishing the very foundation of the state’s order, referred to God, emphasizing the importance of Poland’s Christian heritage. This heritage draws its identity not from a cultural vacuum, but from the achievements of Latin civilization, which served as the building blocks that formed the long history of the Piast State, beginning in the tenth century. This paper is therefore intended to answer the question of whether the Third Republic, in the twenty-first century, is also a continuation of the great cultural heritage of Latin civilization.

Giuseppe Bottaro

In her book On Revolution, Arendt analyses the most important modern revolutions in order to understand the true meaning of political freedom and the foundation of a new political body.

Yilin Guan, Qingfeng Lan, Sun Fei et al.

Despite their remarkable success in complex tasks propelling widespread adoption, large language-model-based agents still face critical deployment challenges due to prohibitive latency and inference costs. While recent work has explored various methods to accelerate inference, existing approaches suffer from significant limitations: they either fail to preserve performance fidelity, require extensive offline training of router modules, or incur excessive operational costs. Moreover, they provide minimal user control over the tradeoff between acceleration and other performance metrics. To address these gaps, we introduce Dynamic Speculative Planning (DSP), an asynchronous online reinforcement learning framework that provides lossless acceleration with substantially reduced costs without requiring additional pre-deployment preparation. DSP explicitly optimizes a joint objective balancing end-to-end latency against dollar cost, allowing practitioners to adjust a single parameter that steers the system toward faster responses, cheaper operation, or any point along this continuum. Experiments on two standard agent benchmarks demonstrate that DSP achieves comparable efficiency to the fastest lossless acceleration method while reducing total cost by 30% and unnecessary cost up to 60%. Our code and data are available through https://github.com/guanyilin428/Dynamic-Speculative-Planning.

Philipp Berghofer

The program of reconstructing quantum theory based on information-theoretic principles enjoys much popularity in the foundations of physics. Surprisingly, this endeavor has only received very little attention in philosophy. Here I argue that this should change. This is because, on the one hand, reconstructions can help us to better understand quantum mechanics, and, on the other hand, reconstructions are themselves in need of interpretation. My overall objective, thus, is to motivate the reconstruction program and to show why philosophers should care. My specific aims are threefold. (i) Clarify the relationship between reconstructing and interpreting quantum mechanics, (ii) show how the informational reconstruction of quantum theory puts pressure on standard realist interpretations, (iii) defend the quantum reconstruction program against possible objections.

Cunxiao Du, Jing Jiang, Xu Yuanchen et al.

Speculative decoding is a relatively new decoding framework that leverages small and efficient draft models to reduce the latency of LLMs. In this study, we introduce GliDe and CaPE, two low-hassle modifications to vanilla speculative decoding to further improve the decoding speed of a frozen LLM. Specifically, GliDe is a modified draft model architecture that reuses the cached keys and values from the target LLM, while CaPE is a proposal expansion method that uses the draft model's confidence scores to help select additional candidate tokens for verification. Extensive experiments on different benchmarks demonstrate that our proposed GliDe draft model significantly reduces the expected decoding latency. Additional evaluation using walltime reveals that GliDe can accelerate Vicuna models up to 2.17x and further extend the improvement to 2.61x with CaPE. We will release our code, data, and the trained draft models.

Ze Yang, Yihong Jin, Xinhe Xu

Large Language Models (LLMs) have revolutionized natural language processing by understanding and generating human-like text. However, the increasing demand for more sophisticated LLMs presents significant computational challenges due to their scale and complexity. This paper introduces Hardware Accelerated Decoding (HADES), a novel approach to enhance the performance and energy efficiency of LLMs. We address the design of an LLM accelerator with hardware-level speculative decoding support, a concept not previously explored in existing literature. Our work demonstrates how speculative decoding can significantly improve the efficiency of LLM operations, paving the way for more advanced and practical applications of these models.

Yunfan Xiong, Ruoyu Zhang, Yanzeng Li et al.

While speculative decoding has recently appeared as a promising direction for accelerating the inference of large language models (LLMs), the speedup and scalability are strongly bounded by the token acceptance rate. Prevalent methods usually organize predicted tokens as independent chains or fixed token trees, which fails to generalize to diverse query distributions. In this paper, we propose DySpec, a faster speculative decoding algorithm with a novel dynamic token tree structure. We begin by bridging the draft distribution and acceptance rate from intuitive and empirical clues, and successfully show that the two variables are strongly correlated. Based on this, we employ a greedy strategy to dynamically expand the token tree at run time. Theoretically, we show that our method can achieve optimal results under mild assumptions. Empirically, DySpec yields a higher acceptance rate and speedup than fixed trees. DySpec can drastically improve the throughput and reduce the latency of token generation across various data distribution and model sizes, which significantly outperforms strong competitors, including Specinfer and Sequoia. Under low temperature setting, DySpec can improve the throughput up to 9.1$\times$ and reduce the latency up to 9.4$\times$ on Llama2-70B. Under high temperature setting, DySpec can also improve the throughput up to 6.21$\times$, despite the increasing difficulty of speculating more than one token per step for draft model.

Elias Oliveira Vieira dos Santos, Luiz Henrique da Cruz Silvestrini

A lógica I1, um sistema trivalorado de caráter fracamente intuicionista, foi introduzida, via sistema axiomático (Hilbertiano) em 1995 por Sette e Carnielli. O presente artigo tem por objetivo apresentar esse sistema em um formalismo lógico em Cálculo de Sequentes, denominado de GI1, o qual se apresenta como um sistema de prova de teoremas, caracterizado como um algoritmo, sendo mais aplicável do ponto de vista computacional, por meio da dualização do sistema de tableaux analíticos TI1. Ademais, é apresentado a equivalência dedutiva entre o sistema de sequentes GI1 com o sistema Hilbertiano I1.

Joseph Edelheit, James Moore

Este artigo assume a forma de um diálogo. Essa escolha pretende ser um prolongamento da forma como Ricœur abordava todos os problemas filosóficos. É na sua obra Le juste que encontramos aquela que é, porventura, a sua definição mais clara de diálogo, a qual designava conversa. Nesse texto, Ricœur sustenta que existem diversas normas que regem a discussão autêntica, e que incluem a necessidade de assegurar a todos a possibilidade de participar na conversa, e de providenciar razões para as teses avançadas. Tais normas requerem que todos têm direito a tomar a palavra mas também assumem a necessidade de ouvir de forma respeitosa. Acima tudo, é preciso que todos “aceitem as consequências de uma decisão”. Ou seja, é preciso chegar a um compromisso. Tal conclusão aplicar-se-á de forma privilegiada ao tópico do trabalho de Ricœur que exploramos neste artigo, a saber, as suas reflexões sobre a tolerância, especialmente as reflexões sobre a intolerância e a erosão da tolerância. O nosso diálogo aborda o contexto histórico do trabalho original, sublinhando diversas referências das Escrituras àquilo que Ricœur descreve como tolerância, e que são essenciais para a sua reflexão sobre a tolerância e a sua erosão. Palavras-chave: Indignação; indiferença; intolerância; o intolerável; tolerância.

Shanglyu Deng

A speculator can take advantage of a procurement auction by acquiring items for sale before the auction. The accumulated market power can then be exercised in the auction and may lead to a large enough gain to cover the acquisition costs. I show that speculation always generates a positive expected profit in second-price auctions but could be unprofitable in first-price auctions. In the case where speculation is profitable in first-price auctions, it is more profitable in second-price auctions. This comparison in profitability is driven by different competition patterns in the two auction mechanisms. In terms of welfare, speculation causes private value destruction and harms efficiency. Sellers benefit from the acquisition offer made by the speculator. Therefore, speculation comes at the expense of the auctioneer.

M. Mahmud, Shiau Foong Wong

The Covid-19 pandemic has triggered a universal disruption over the past year, and has caused unforeseen and formidable changes, but simultaneously has also enthused a digital transformation for educational institutions of all levels. With the upsurge in the usage of digital technologies, some potential caveats should be addressed, in particular, the speculative effective methods, course design and structure. A prodigious deal of reappraising and reimagining the philosophy of what is deemed to be the most familiar is imperative, not only to promote student-centred learning, but also encourage online engagement. Considering the suspension of all face-to-face classes due to the rapid spread of the global pandemic, the purpose of this study was to assess the usability and adoption of the jigsaw method on the web-based platform, Microsoft (MS) Teams for both synchronous and asynchronous teaching and learning. A pre-experimental research design was utilised with one post-test dataset obtained from the post-experiment learning analytics. Subsequently, the usability and adoption of the jigsaw method in MS Teams were evaluated based on the reciprocity of students’ responses towards the design. It is postulated that MS Teams stand out as a promising technological tool to facilitate the integration of the jigsaw method into an online learning environment. It advocates better students engagement and collaboration, and thus leads to the positive impact on students’ performance and enhanced comprehension of course content, specifically the availability of customized MS Teams features; channel and synchronous chat, which are recommended to support an engaged learning ecology.

Stefano Calabrese

La critica computazionale negli ultimi vent’anni si è dimostrata un modello di distant reading funzionale alla ricerca di costanti morfologiche e archetipi tematici: con Franco Moretti ha addirittura nutrito l’ambizione, applicandosi alle Pathosformeln di Aby Warburg, di trovare l’algoritmo della rappresentazine delle emozioni. Negli stessi anni, in laboratori della comunità scientifica del tutto separati, gli studiosi di neuro-cognitivismo e le neuroscienze hanno ricercato e fotografato attraverso risonanza magnetica le costanti percettive e il modo in cui il cervello processa la realtà, con le uniche varianti apportate dai contesti storico-ambientali. Il presente contributo propone un’alleanza metodologica della critica computazionale e delle neuroscienze per rendere sempre più raffinata e probatoria la ricerca del modo in cui procede la trasmissione ereditaria delle informazioni; in particolare, ci si sofferma sugli studi condotti da entrambe le parti sugli effetti del gender in relazione alla lettura della realtà e alla produzione di mondi finzionali, con esempi che riguardano l’evoluzione neuro-cognitiva delle popolazioni euro-nordamericane tra Otto e Nocevento. La consapevolezza del ruolo dei nuovi strumenti di calcolo offerti dalla tecnologia moderna, in grado di elaborare quantità massicce di dati a una velocità esponenziale incomparabile rispetto al passato, si unisce qui alla certezza che le neuroscienze stiano dando un contributo fondamentale anche per lo studio delle humanities.

Sergio Montecinos Fabio

Se determina la posición y función primigenia del concepto de fin (Zweck) en Nuremberg (como final del silogismo y tránsito puro a la idea). Además, se reconstruyen las modificaciones sistemático-arquitectónicas que dieron paso al surgimiento, en la Lógica, de la sección Objetividad y a la consecuente modificación de la posición del fin, que se insertará dentro de ésta como una forma específica de causalidad (finalidad externa), diferenciada de los procesos mecánico-químicos. Con esta modificación, el tránsito del fin a la idea cesa de ser puro, perfilándose específicamente como un momento instrumental del concepto en su proceso de realización en lo objetivo.

Zikai Zhang, Bineng Zhong, Shengping Zhang et al.

A practical long-term tracker typically contains three key properties, i.e. an efficient model design, an effective global re-detection strategy and a robust distractor awareness mechanism. However, most state-of-the-art long-term trackers (e.g., Pseudo and re-detecting based ones) do not take all three key properties into account and therefore may either be time-consuming or drift to distractors. To address the issues, we propose a two-task tracking frame work (named DMTrack), which utilizes two core components (i.e., one-shot detection and re-identification (re-id) association) to achieve distractor-aware fast tracking via Dynamic convolutions (d-convs) and Multiple object tracking (MOT) philosophy. To achieve precise and fast global detection, we construct a lightweight one-shot detector using a novel dynamic convolutions generation method, which provides a unified and more flexible way for fusing target information into the search field. To distinguish the target from distractors, we resort to the philosophy of MOT to reason distractors explicitly by maintaining all potential similarities' tracklets. Benefited from the strength of high recall detection and explicit object association, our tracker achieves state-of-the-art performance on the LaSOT, OxUvA, TLP, VOT2018LT and VOT2019LT benchmarks and runs in real-time (3x faster than comparisons).

Radin Dardashti

No-go theorems have played an important role in the development and assessment of scientific theories. They have stopped whole research programs and have given rise to strong ontological commitments. Given the importance they obviously have had in physics and philosophy of physics and the huge amount of literature on the consequences of specific no-go theorems, there has been relatively little attention to the more abstract assessment of no-go theorems as a tool in theory development. We will here provide this abstract assessment of no-go theorems and conclude that the methodological implications one may draw from no-go theorems are in disagreement with the implications that have often been drawn from them in the history of science.

Michael te Vrugt

Explaining the emergence of stochastic irreversible macroscopic dynamics from time-reversible deterministic microscopic dynamics is one of the key problems in philosophy of physics. The Mori-Zwanzig projection operator formalism, which is one of the most important methods of modern nonequilibrium statistical mechanics, allows for a systematic derivation of irreversible transport equations from reversible microdynamics and thus provides a useful framework for understanding this issue. However, discussions of the Mori-Zwanzig formalism in philosophy of physics tend to focus on simple variants rather than on the more sophisticated ones used in modern physical research. In this work, I will close this gap by studying the problems of probability and irreversibility using the example of Grabert's time-dependent projection operator formalism. This allows to give a more solid mathematical foundation to various concepts from the philosophical literature, in particular Wallace's simple dynamical conjecture and Robertson's theory of autonomous macrodynamics. Moreover, I will explain how the Mori-Zwanzig formalism allows to resolve the tension between epistemic and ontic approaches to probability in statistical mechanics. Finally, I argue that the debate which interventionists and coarse-grainers should really be having is related not to the question why there is equilibration at all, but why it has the quantitative form it is found to have in experiments.