搜索结果：hind

Textual Large Language Models (LLMs) provide a simple and familiar interface: a string of text is used for both input and output. However, the information conveyed to an LLM often has a richer structure and semantics, which is not conveyed in a string. For example, most prompts contain both instructions ("Summarize this paper into a paragraph") and data (the paper to summarize), but these are usually not distinguished when passed to the model. This can lead to model confusion and security risks, such as prompt injection attacks. This work addresses this shortcoming by introducing an LLM-native mark-up language, LLMON (LLM Object Notation, pronounced "Lemon"), that enables the structure and semantic metadata of the text to be communicated in a natural way to an LLM. This information can then be used during model training, model prompting, and inference implementation, leading to improvements in model accuracy, safety, and security. This is analogous to how programming language types can be used for many purposes, such as static checking, code generation, dynamic checking, and IDE highlighting. We discuss the general design requirements of an LLM-native markup language, introduce the

For a large class of toric domains in $\mathbb{R}^4$ we determine which product Lagrangian tori can be mapped into the domain by a Hamiltonian diffeomorphism. In other words, we compute the Hamiltonian shape invariant of these toric domains, as defined by Hind and Zhang. The argument relies on new intersection results for product Lagrangian tori in symplectic polydisks. For Hamiltonian diffeomorphisms which map certain Lagrangian product tori back into the polydisk, we establish intersections between the images and a one-parameter family of product Lagrangian tori that includes (is based at) the original torus. For symplectic polydisks with area ratios less than two, we strengthen this to establish intersections between the Hamiltonian images and the original Lagrangian torus. As a soft complement to these intersection results we also present an embedding construction which demonstrates that this intersection rigidity vanishes when the one-parameter family of product Lagrangian tori is replaced by a natural packing by Lagrangian tori.

As foundation models grow in both popularity and capability, researchers have uncovered a variety of ways that the models can pose a risk to the model's owner, user, or others. Despite the efforts of measuring these risks via benchmarks and cataloging them in AI risk taxonomies, there is little guidance for practitioners on how to determine which risks are relevant for a given foundation model use. In this paper, we address this gap and develop requirements and an initial design for a risk identification framework. To do so, we look to prior literature to identify challenges for building a foundation model risk identification framework and adapt ideas from usage governance to synthesize four design requirements. We then demonstrate how a candidate framework can addresses these design requirements and provide a foundation model use example to show how the framework works in practice for a small subset of risks.

Innovation in artificial intelligence (AI) has always been dependent on technological infrastructures, from code repositories to computing hardware. Yet industry -- rather than universities -- has become increasingly influential in shaping AI innovation. As generative forms of AI powered by large language models (LLMs) have driven the breakout of AI into the wider world, the AI community has sought to develop new methods for independently evaluating the performance of AI models. How best, in other words, to compare the performance of AI models against other AI models -- and how best to account for new models launched on nearly a daily basis? Building on recent work in media studies, STS, and computer science on benchmarking and the practices of AI evaluation, I examine the rise of so-called 'arenas' in which AI models are evaluated with reference to gladiatorial-style 'battles'. Through a technography of a leading user-driven AI model evaluation platform, LMArena, I consider five themes central to the emerging 'arena-ization' of AI innovation. Accordingly, I argue that the arena-ization is being powered by a 'viral' desire to capture attention both in, and outside of, the AI commun

In this work, we investigate the approximate controllability of a class of one-dimensional degenerate parabolic equations with Robin boundary conditions. The degeneracy occurs at one endpoint of the spatial domain, and we apply an impulsive control in a small region at a fixed moment. Our main result establishes an observability inequality for the adjoint system, from which we deduce approximate controllability at final time . The proof relies on a logarithmic convexity argument, developed through a Carleman commutator approach.

Satellite-based communication systems are integral to delivering high-speed data services in aviation, particularly for business aviation operations requiring global connectivity. These systems, however, are challenged by a multitude of interdependent factors such as satellite handovers, congestion, flight maneuvers and seasonal trends, making network performance prediction a complex task. No established methodologies currently exist for network performance prediction in avionic communication systems. This paper addresses the gap by proposing machine learning (ML)-based approaches for pre-flight network performance predictions. The proposed models predict performance along a given flight path, taking as input positional and network-related information and outputting the predicted performance for each position. In business aviation, flight crews typically have multiple flight plans to choose from for each city pair, allowing them to select the most optimal option. This approach enables proactive decision-making, such as selecting optimal flight paths prior to departure.

Essay writing is a critical component of student assessment, yet manual scoring is labor-intensive and inconsistent. Automated Essay Scoring (AES) offers a promising alternative, but current approaches face limitations. Recent studies have incorporated Graph Neural Networks (GNNs) into AES using static word embeddings that fail to capture contextual meaning, especially for polysemous words. Additionally, many methods rely on holistic scoring, overlooking specific writing aspects such as grammar, vocabulary, and cohesion. To address these challenges, this study proposes TransGAT, a novel approach that integrates fine-tuned Transformer models with GNNs for analytic scoring. TransGAT combines the contextual understanding of Transformers with the relational modeling strength of Graph Attention Networks (GAT). It performs two-stream predictions by pairing each fine-tuned Transformer (BERT, RoBERTa, and DeBERTaV3) with a separate GAT. In each pair, the first stream generates essay-level predictions, while the second applies GAT to Transformer token embeddings, with edges constructed from syntactic dependencies. The model then fuses predictions from both streams to produce the final analy

An integral product Lagrangian torus in the standard symplectic $\mathbb{C}^2$ is defined to be a subset $\{ π|z_1|^2 = k, \, π|z_2|^2 =l \}$ with $k,l \in \mathbb{N}$. Let $\mathcal{L}$ be the union of all integral product Lagrangian tori. We compute the Gromov width of complements $B(R) \setminus \mathcal{L}$ for some small $R$, where $B(R)$ denotes the round ball of capacity $R$.

We summarize some of the main ideas and results around symplectic field theory, from its early inception up to recent and ongoing developments.

A theorem of Gutt-Hutchings-Ramos asserts that all normalized symplectic capacities give the same value for monotone four-dimensional toric domains. We generalize this theorem to arbitrary dimension. The new ingredient in our proof is the construction of symplectic embeddings of "$L$-shaped" domains in any dimension into corresponding infinite cylinders; this resolves a conjecture of Gutt-Pereira-Ramos in the affirmative.

A finite volume symplectic manifold is said to have "packing stability" if the only obstruction to symplectically embedding sufficiently small balls is the volume obstruction. Packing stability has been shown in a variety of cases and it has been conjectured that it always holds. We give counterexamples to this conjecture; in fact, we give examples that cannot be fully packed by any domain with smooth boundary nor by any convex domain. The examples are symplectomorphic to open and bounded domains in $\mathbb{R}^4$, with the diffeomorphism type of a disc. The obstruction to packing stability is closely tied to another old question, which asks to what extent an open symplectic manifold has a well-defined boundary; it follows from our results that many examples cannot be symplectomorphic to the interior of a compact symplectic manifold with smooth boundary. Our results can be quantified in terms of the volume decay near the boundary, and we produce, for example, smooth toric domains that are only symplectomorphic to the interior of a compact domain if the boundary of this domain has inner Minkowski dimension arbitrarily close to $4$. The growth rate of the subleading asymptotics of th

We investigate the dynamics of opinion formation on social networking platforms, focusing on how individual opinions, influenced by both social connections and platform algorithms, evolve. We model this process using a differential equation, accounting for both peer influence and the platform's content curation based on user preferences. Our primary aim is to analyze how these factors contribute to opinion polarization and identify potential strategies for its mitigation. We explore the conditions under which opinions converge to a consensus or remain polarized, emphasizing the role of the platform's influence function. Our findings in two-agent, complete graphs, and stochastic block model provide insights into the impact of social media algorithms on public discourse and offer a framework for understanding how polarization can be avoided.

The lattice thermal conductivity plays a key role in the performance of thermoelectric materials, where the lower values lead to a higher figure of merit values. Two-dimensional group III-VI monolayers such as InTe are promising materials for TE energy generation owing to their low that leads to high TE figure of merit values. In this work, we investigate the influence of the lattice anharmonicity on the lattice thermal conductivity of the InTe monolayer. The thermodynamic parameters are calculated by using the self-consistent phonon theory. The lattice thermal conductivity value of the InTe monolayer is obtained to be 0.30 by using the standard Boltzmann transport equation (BTE) approach, while it is 3.58 by using SCP + BTE approach. These results confirm the importance of the anharmonic effects on the lattice thermal conductivity value, where it was found to be significantly higher (91%) using the SCP + BTE approach than that obtained using the standard BTE approach.

We show that the space of open subsets of any complete and exact symplectic $4$-manifold has infinite dimension with respect to the symplectic Banach-Mazur distance; the quasi-flats we construct take values in the set of dynamically convex domains. In the case of $\mathbb{R}^4$, we therefore obtain the following contrast: the space of convex domains is quasi-isometric to a plane, while the space of dynamically convex ones has infinite dimension. In the case of $T^* S^2$, a variant of our construction resolves a conjecture of Stojisavljević and Zhang, asserting that the space of star-shaped domains in $T^* S^2$ has infinite dimension. Another corollary is that the space of contact forms giving the standard contact structure on $S^3$ has infinite dimension with respect to the contact Banach-Mazur distance.

In reaction to growing concerns about the potential harms of artificial intelligence (AI), societies have begun to demand more transparency about how AI models and systems are created and used. To address these concerns, several efforts have proposed documentation templates containing questions to be answered by model developers. These templates provide a useful starting point, but no single template can cover the needs of diverse documentation consumers. It is possible in principle, however, to create a repeatable methodology to generate truly useful documentation. Richards et al. [25] proposed such a methodology for identifying specific documentation needs and creating templates to address those needs. Although this is a promising proposal, it has not been evaluated. This paper presents the first evaluation of this user-centered methodology in practice, reporting on the experiences of a team in the domain of AI for healthcare that adopted it to increase transparency for several AI models. The methodology was found to be usable by developers not trained in user-centered techniques, guiding them to creating a documentation template that addressed the specific needs of their consume

Although AI systems are increasingly being leveraged to provide value to organizations, individuals, and society, significant attendant risks have been identified and have manifested. These risks have led to proposed regulations, litigation, and general societal concerns. As with any promising technology, organizations want to benefit from the positive capabilities of AI technology while reducing the risks. The best way to reduce risks is to implement comprehensive AI lifecycle governance where policies and procedures are described and enforced during the design, development, deployment, and monitoring of an AI system. Although support for comprehensive governance is beginning to emerge, organizations often need to identify the risks of deploying an already-built model without knowledge of how it was constructed or access to its original developers. Such an assessment will quantitatively assess the risks of an existing model in a manner analogous to how a home inspector might assess the risks of an already-built home or a physician might assess overall patient health based on a battery of tests. Several AI risks can be quantified using metrics from the technical community. However,

AI models and services are used in a growing number of highstakes areas, resulting in a need for increased transparency. Consistent with this, several proposals for higher quality and more consistent documentation of AI data, models, and systems have emerged. Little is known, however, about the needs of those who would produce or consume these new forms of documentation. Through semi-structured developer interviews, and two document creation exercises, we have assembled a clearer picture of these needs and the various challenges faced in creating accurate and useful AI documentation. Based on the observations from this work, supplemented by feedback received during multiple design explorations and stakeholder conversations, we make recommendations for easing the collection and flexible presentation of AI facts to promote transparency.

We prove packing stability for any closed symplectic manifold with rational cohomology class. This will rely on a general symplectic embedding result for ellipsoids which assumes only that there is no volume obstruction and that the domain is sufficiently thin relative to the target. We also obtain easily computable bounds for the Embedded Contact Homology capacities which are sufficient to imply the existence of some volume preserving embeddings in dimension 4.

In any dimension $2n \ge 6$ we show that certain spaces of symplectic embeddings of a polydisk into a product $B^4 \times \Bbb R^{2(n-2)}$ of a $4$-ball and Euclidean space, are not path connected. We also show that any pair of such nonisotopic embeddings can never be extended to the same ellipsoid.